( en | de | ru )

 

Disambiguation of "Harris, Ian G."

Author of the publication

copydeleteadd this publication to your clipboard
Automatic generation of functional coverage models from CTL.

, , and . HLDVT, page 159-164. IEEE Computer Society, (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.

Melvin Harris

Kathleen Harris

Nigel Harris

Horton Harris

Martin Harris

 

Other publications of authors with the same name

GAP-Gen: Guided Automatic Python Code Generation., , , and . EACL (Student Research Workshop), page 37-51. Association for Computational Linguistics, (2023)Robust Safety Classifier for Large Language Models: Adversarial Prompt Shield., , and . CoRR, (2023)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)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)GraphMemDialog: Optimizing End-to-End Task-Oriented Dialog Systems Using Graph Memory Networks., , and . AAAI, page 11504-11512. AAAI Press, (2022)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)Chatbot-based assertion generation from natural language specifications., and . FDL, page 1-6. IEEE, (2019)