Verification of a pipelined microprocessor using Clio

• Authors:

• Mark Bickford;Mandayam Srivas

• Affiliations:

• -;-

• Venue:
• Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects
• Year:
• 1990