A foundation for formal reuse of hardware

• Authors:

• Ana Cristina Vieira de Melo;Howard Barringer

• Affiliations:

• -;-

• Venue:
• CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
• Year:
• 1995