Fabio Somenzi
- Address:
University of Colorado
Dept. of Electrical and Computer Engineering
Campus Box 425
Boulder CO, 80309-0425
U.S.A.
- Office: Engineering Center, ECOT 348
- Phone: (303) 492-3466
- Fax: (303) 492-2758
- E-mail: Fabio _at_ Colorado _dot_ EDU
Classes:
Office Hours:
- M 1:00 pm - 2:00 pm
- WF 10:30 am - 11:30 am
- or by appointment
Research Meetings:
- M 5:30-6:30
- T 1:30-2:30
- T 3:30-4:30 - Dept. Seminar
- T 4:30-5:30
- W 4:00-5:30 - VLSI Seminar
- R 11:00-12:00
- R 4:00-5:00 - VIS Meeting
- F 1:00-2:00
- F 2:00-3:00
- F 4:00-5:00
- F 5:00-6:00
Travel:
- TACAS,
March 25 - April 2
- CAV, August 16 - 20
CUDD: CU Decision Diagram Package
CUDD is a package for the manipulation of Binary Decision Diagrams
(BDDs), Algebraic Decision Diagrams (ADDs) and Zero-suppressed Binary
Decision Diagrams (ZDDs).
Examine the documentation or download
the package. You can also download
DDcal,
a BDD calculator based on CUDD, PerlDD, an
extension to Perl based on CUDD, and a collection of BDD variable
orders.
Wring
Wring is
a program to translate Linear Time Logic (LTL) formulae into
generalized Buechi automata. Wring is written in Perl.
VIS
VIS is a symbolic model
checker.
I'd Rather Be...
Local Links
Information on Boulder and vicinity
Quotation:
Tertia post illam successit aenea proles,
saevior ingeniis et ad horrida promptior arma,
non scelerata tamen; de duro est ultima ferro.
