Specification-driven design of custom hardware in HOP

• Authors:

• Ganesh C. Gopalakrishnan;Richard M. Fujimoto;Venkatesh Akella;N. S. Mani;Kevin N. Smith

• Affiliations:

• -;-;-;-;-

• Venue:
• Current trends in hardware verification and automated theorem proving
• Year:
• 1989