Unifying Language Components
•
Verilog 95 and 2K
--
superset
•
C and C++
--structures,
pointers,
types, etc.
•
SUPERLOG Extended
Synthesizable Subset
(ESS)
•
System Abstraction
--
include
control communication
abstraction, queues,
processes
•
Verification Power