( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Record & play: a structural fixed point iteration for sequential circuit verification.

, и . ICCAD, стр. 394-399. IEEE Computer Society / ACM, (1997)

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.

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

 

Другие публикации лиц с тем же именем

goSAT: Floating-point satisfiability as global optimization., , и . FMCAD, стр. 11-14. IEEE, (2017)Reasoning in Boolean Networks - Logic Synthesis and Verification Using Testing Techniques., и . Frontiers in electronic testing Springer, (1997)Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection., , , , , , , , и . CoRR, (2021)Formal hardware/software co-verification by interval property checking with abstraction., , , и . DAC, стр. 510-515. ACM, (2011)The European Masters in Embedded Computing Systems (EMECS)., , , и . EWME, стр. 1-6. IEEE, (2016)A computer-algebraic approach to formal verification of data-centric low-level software., , , и . MEMOCODE, стр. 34-42. IEEE, (2016)A property language for the specification of hardware-dependent embedded system software., , , , и . FDL, стр. 1-8. IEEE, (2014)Area Estimation Framework for Digital Hardware Design using Machine Learning., , , , , и . MBMV, стр. 1-10. VDE / IEEE, (2020)A New Formal Verification Approach for Hardware-dependent Embedded System Software., , , , , , , и . IPSJ Trans. Syst. LSI Des. Methodol., (2013)Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers., , , и . DSD, стр. 109-116. IEEE, (2020)