A D&T Roundtable-Formal Verification: Is It Practical for Real-World Design?

Authors:
IEEE Design & Test Staff
Affiliations:
-
Venue:
IEEE Design & Test
Year:
1989

Citing 0
Cited 3

Hardware/software codesign: a perspective

ICSE '91 Proceedings of the 13th international conference on Software engineering
Simulation-Based Verification for High-Level Synthesis

IEEE Design & Test
Codesign of Architectures for Automotive Powertrain Modules

IEEE Micro

Quantified Score

Hi-index	0.00

Visualization

Abstract