A refinement calculus for VHDL.

Peter T. Breuer Carlos Delgado Kloos Natividad Martínez Madrid Luis Sánchez Andrés Marín

Published in: EURO-DAC (1996)

Keyphrases

hardware implementation
automated deduction
computer algebra
model based diagnosis
hardware design
real time
databases
social networks
database systems
relational databases
integrated circuit
proof procedure
fpga implementation
fpga device
hardware description language