Author of the publication

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.

, , , and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 114-128. Springer, (2007)

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

Synthetic Biology Open Language (SBOL) Version 2.2.0., , , , , , , , , and 13 other author(s). J. Integr. Bioinform., (2018)The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core., , , , , , , , , and 3 other author(s). J. Integr. Bioinform., (2018)LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits., , , , , , and . MWSCAS, page 1017-1020. IEEE, (2014)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking., , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 319-331. Springer, (2022)Symbolic Model Checking of Analog/Mixed-Signal Circuits., , , , and . ASP-DAC, page 316-323. IEEE Computer Society, (2007)A new verification method for embedded systems., , , and . ICCD, page 193-200. IEEE Computer Society, (2009)An Improvement in Partial Order Reduction Using Behavioral Analysis., , , and . ISVLSI, page 100-107. IEEE Computer Society, (2012)Verification of analog/mixed-signal circuits using labeled hybrid petri nets., , , , and . ICCAD, page 275-282. ACM, (2006)Synthetic biology open language visual (SBOL Visual) version 2.3., , , , , , , , , and 26 other author(s). J. Integr. Bioinform., (2021)A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper)., , , , , and . ACSD, page 50-55. IEEE, (2008)