The paper investigates specification, verification and test generation for synchronous and asynchronous circuits. The approach is called Dill (Digital Logic in Lotos – the ISO Language Of Temporal Ordering Specification). Relations for (strong) conformance are defined to verify a design specification against a high-level specification. Tools have been developed for automated testing and verification of conformance between an implementation and its specification.
CITATION STYLE
Turner, K. J., & He, J. (2001). Formally-based design evaluation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2144, pp. 104–109). Springer Verlag. https://doi.org/10.1007/3-540-44798-9_9
Mendeley helps you to discover research relevant for your work.