Technology has improved to the point that system designers have the ability to trade-off implementing complex functions in either hardware or software. However, clear distinctions exist in the design tools. This paper examines what is unique to hardware design, areas where formal methods can be applied to advantage in hardware design and how errors can exist in the hardware even if formal methods are used to prove the design is correct. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Butka, B., Zalewski, J., & Kornecki, A. J. (2009). Issues in tool qualification for safety-critical hardware: What formal approaches can and cannot do. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5775 LNCS, pp. 201–214). https://doi.org/10.1007/978-3-642-04468-7_17
Mendeley helps you to discover research relevant for your work.