Transforming boolean relations by symbolic encoding

• Authors:

• Gianpiero Cabodi;Stefano Quer;Paolo Camurati

• Affiliations:

• -;-;-

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