TECHNION Formal verification of VHDL-Based Real-Time Hardware Designs

Persons

Scientific Director

Duration

Start: 31.12.1993
End: 30.12.1998