( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A New Formal Verification Approach for Hardware-dependent Embedded System Software.

, , , , , , , и . IPSJ Trans. Syst. LSI Des. Methodol., (2013)

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.

Dominik Stoffel

Susanne Stoffel

Rupert Stoffel

Karl Stoffel

Markus Stoffel

 

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

Normalization at the arithmetic bit level., , и . DAC, стр. 457-462. ACM, (2005)Equivalence checking of arithmetic circuits on the arithmetic bit level., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 23 (5): 586-597 (2004)Arithmetic Constraints in SAT-based Property Checking., , , и . MBMV, стр. 91-100. Shaker, (2007)Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation., , , , и . MBMV, стр. 1-4. VDE/IEEE, (2022)Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation., , , , , , , и . VLSI-SoC, стр. 1-6. IEEE, (2022)Symbolic quick error detection using symbolic initial state for pre-silicon verification., , , , , , и . DATE, стр. 55-60. IEEE, (2018)Record & play: a structural fixed point iteration for sequential circuit verification., и . ICCAD, стр. 394-399. IEEE Computer Society / ACM, (1997)MetaFS: Model-driven Fault Simulation Framework., , , , , , и . DFT, стр. 1-4. IEEE, (2022)AND/OR reasoning graphs for determining prime implicants in multi-level combinational networks., , и . ASP-DAC, стр. 529-538. IEEE, (1997)Proof logging for computer algebra based SMT solving., , , , и . ICCAD, стр. 677-684. IEEE, (2013)