From programs to transistors: Verifying hardware synthesis tools

This publication has 7 references indexed in Scilit:

• Verification of combinational logic in Nuprl
  Published by Springer Nature ,1990
• The Design of an Asynchronous Microprocessor
  Published by Defense Technical Information Center (DTIC) ,1989
• A Proof of Correctness of the Viper Microprocessor: The First Level
  Published by Springer Nature ,1988
• Toward Verified Execution Environments
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Compiling communicating processes into delay-insensitive VLSI circuits
  Distributed Computing, 1986
• Automatic Verification of Sequential Circuits Using Temporal Logic
  IEEE Transactions on Computers, 1986
• Compiler Specification and Verification
  Published by Springer Nature ,1981