Advanced Search Tips

Anzu

Submitted by on Dec 04 2014 Suggest Revision
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.
Post comment
Cancel