( en | de | ru )

 

Disambiguation of "Abraham, Jacob A."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Checking of Properties in Complex Systems Using Abstractions.

, and . Great Lakes Symposium on VLSI, page 280-283. IEEE Computer Society, (1999)

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.

Jacob Jacob

Jacob

Rainer Abraham

Günter Abraham

Abraham Frowein

 

Other publications of authors with the same name

A 0.1-3.5-GHz Duty-Cycle Measurement and Correction Technique in 130-nm CMOS., , , and . IEEE Trans. Very Large Scale Integr. Syst., 24 (5): 1975-1983 (2016)Selection scheme sensitivity for a hybrid Salp Swarm Algorithm: analysis and applications., , , and . Eng. Comput., 38 (2): 1149-1175 (2022)Average Interconnection Length and Interconnection Distribution Based on Rent's Rule., and . DAC, page 574-577. ACM Press, (1989)A Novel Approach to Accurate Timing Verification Using RTL Descriptions., and . DAC, page 638-641. ACM Press, (1989)A Framework for Distributed VLSI Simulation on a Network of Workstations., and . Simulation, 60 (2): 95-104 (1993)ESIFT: Efficient System for Error Injection., , and . IOLTS, page 201-206. IEEE, (2018)On efficient generation of instruction sequences to test for delay defects in a processor., , , and . ACM Great Lakes Symposium on VLSI, page 279-284. ACM, (2008)Quantitative evaluation of soft error injection techniques for robust system design., , , , and . DAC, page 101:1-101:10. ACM, (2013)Delay Constrained Register Transfer Level Dynamic Power Estimation., , and . PATMOS, volume 4148 of Lecture Notes in Computer Science, page 36-46. Springer, (2006)Test data compression and test time reduction using an embedded microprocessor., and . IEEE Trans. Very Large Scale Integr. Syst., 11 (5): 853-862 (2003)