Platform-Based Design for Embedded Systems ,
System Design with SystemC, 2002. ,
Why We Need Standards for Transaction-Level Modeling, SOC Central, 2007. ,
Transaction Level Modeling: An Overview, Proc. International Conference CODES+ISSS'03, 2003. ,
DOI : 10.1109/codess.2003.1275250
Standard for Property Specification Language (PSL), 1850. ,
A Tractable and Fast Method for Monitoring SystemC TLM Specifications, IEEE Transactions on Computers, vol.57, issue.10, 2008. ,
DOI : 10.1109/TC.2008.74
URL : https://hal.archives-ouvertes.fr/hal-00323016
Runtime Verification of Typical Requirements for a Space Critical SoC Platform, Proc. Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00644103
Integrating PSL properties into SystemC transactional modeling — Application to the verification of a modem SoC, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012. ,
DOI : 10.1109/SIES.2012.6356588
Resolve and Expand, Proc. of SAT'04, 2004. ,
DOI : 10.1007/11527695_5