( en | de | ru )

 

Disambiguation of "Kunz, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.

, , , , , and . FDL (Selected Papers), volume 36 of Lecture Notes in Electrical Engineering, page 257-272. (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.

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

 

Other publications of authors with the same name

goSAT: Floating-point satisfiability as global optimization., , and . FMCAD, page 11-14. IEEE, (2017)Reasoning in Boolean Networks - Logic Synthesis and Verification Using Testing Techniques., and . Frontiers in electronic testing Springer, (1997)Formal hardware/software co-verification by interval property checking with abstraction., , , and . DAC, page 510-515. ACM, (2011)A New Formal Verification Approach for Hardware-dependent Embedded System Software., , , , , , , and . IPSJ Trans. Syst. LSI Des. Methodol., (2013)Accelerated dynamic learning for test pattern generation in combinational circuits., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (5): 684-694 (1993)Area Estimation Framework for Digital Hardware Design using Machine Learning., , , , , and . MBMV, page 1-10. VDE / IEEE, (2020)Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers., , , and . DSD, page 109-116. IEEE, (2020)Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection., , , , , , , , and . CoRR, (2021)A Scalable Formal Verification Methodology for Data-Oblivious Hardware., , , , and . CoRR, (2023)The European Masters in Embedded Computing Systems (EMECS)., , , and . EWME, page 1-6. IEEE, (2016)