Anzu
From: Martin Weiglhofer
Resource Type:
Code
License:
Other/Unknown
Language:
Perl
Data Format:
Description
Anzu synthesizes Verilog designs from specifications written in LTL (Linear Temporal Logic). Software last updated 13 April 2007.
Categorized in: Applications | Engineering Design | Representation and Reasoning | Automated Theorem Proving | Description Logic
Post comment
Cancel