Relevant Links - ECE 667
UC Berkeley stuff .... great source of research tools in synthesis and verification.
Visit the
UCB Software Library
, a great source of misc. academic software.
Here are some of the specific tools from UCB:
ABC
, the newest sequential synthesis tool, as simple as ABC ;)
VIS
- Verification Interacting with Synthesis
MVSIS
- Multi-valued logic synthesis
Videos:
Lecture recordings
To enter Netcentric Action Based Learning Environment:
NABLE Java Applets