Formal verification of synchronous circuits based on string-functional semantics: The 7 paillet circuits in boyer-moore
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 317-333
- https://doi.org/10.1007/3-540-52148-8_27
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An introduction to system semanticsPublished by Springer Nature ,2005
- A Proof of Correctness of the Viper Microprocessor: The First LevelPublished by Springer Nature ,1988
- Semantics of Digital CircuitsLecture Notes in Computer Science, 1987
- Applicative programming and digital designPublished by Association for Computing Machinery (ACM) ,1984