Author of the publication

Evaluation of an efficient control-oriented coverage metric.

, , and . HLDVT, page 153-157. IEEE Computer Society, (2008)

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

Robust Safety Classifier for Large Language Models: Adversarial Prompt Shield., , and . CoRR, (2023)GraphMemDialog: Optimizing End-to-End Task-Oriented Dialog Systems Using Graph Memory Networks., , and . AAAI, page 11504-11512. AAAI Press, (2022)GAP-Gen: Guided Automatic Python Code Generation., , , and . EACL (Student Research Workshop), page 37-51. Association for Computational Linguistics, (2023)A CLP-Based Functional ATPG for Extended FSMs., , , and . MTV, page 98-105. IEEE Computer Society, (2007)Automatic generation of Verilog bus transactors from natural language protocol specifications.. HLDVT, page 33-40. IEEE Computer Society, (2012)Fast Computation of Data Correlation Using BDDs., , , and . DATE, page 10122-10129. IEEE Computer Society, (2003)Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s., , and . DATE, page 410-415. IEEE Computer Society, (2004)Intertwined Scheduling, Module Selection and Allocation in Time-and-Area., and . ISCAS, page 1682-1685. IEEE, (1993)Extracting design information from natural language specifications.. DAC, page 1256-1257. ACM, (2012)Evaluation of an efficient control-oriented coverage metric., , and . HLDVT, page 153-157. IEEE Computer Society, (2008)