Author of the publication

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).

, , , , and . VLSI Design, page 11-13. IEEE Computer Society, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Testing Model-Processing Tools for Embedded Systems., , , and . IEEE Real-Time and Embedded Technology and Applications Symposium, page 203-214. IEEE Computer Society, (2007)Power & variability test chip architecture and 45nm-generation silicon-based analysis for robust, power-aware SoC design., , , , and . ISQED, page 27-32. IEEE Computer Society, (2009)Design and Use of Memory-Specific Test Structures to Ensure SRAM Yield and Manufacturability., , , , and . ISQED, page 119-124. IEEE Computer Society, (2003)A Test Bed for Web Services Protocols., , and . ICIW, page 16. IEEE Computer Society, (2007)A framework for mining hybrid automata from input/output traces., , , and . EMSOFT, page 177-186. IEEE, (2015)Synthesis of Synchronous Interfaces., and . ACSD, page 208-216. IEEE Computer Society, (2006)Formal Modeling and Verification of a Victim DRAM Cache., , , , , and . ACM Trans. Design Autom. Electr. Syst., 24 (2): 20:1-20:23 (2019)Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models., , , , , and . CAV, volume 5643 of Lecture Notes in Computer Science, page 430-445. Springer, (2009)Modeling and Analysis of Automotive Systems: Current Approaches and Future Trends., , and . MODELSWARD, page 704-710. SciTePress, (2016)The Liveness Property of On-the-Fly Garbage Collector - A Proof., and . Inf. Process. Lett., 17 (4): 189-195 (1983)