BSD Portswip/mvsis 3.0 NetBSD
Logic synthesis and verification tool
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- Categories
- wip, cad
Description
The MVSIS group at Berkeley studies logic synthesis and verification for VLSI design. The main focus is on new optimization algorithms that improve the quality of circuits generated by automatic synthesis tools and, at the same time, are scalable for practical use.
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/mvsis && make install cleanDependencies
No port depends on this one.