共 21 条
[2]
[Anonymous], 2007, 1311O2 CCSDS
[3]
[Anonymous], 2001, THESIS CHALMERS U TE
[4]
[Anonymous], FORMAL METHODS VLSI
[5]
JHDL - An HDL for reconfigurable systems
[J].
IEEE SYMPOSIUM ON FPGAS FOR CUSTOM COMPUTING MACHINES, PROCEEDINGS,
1998,
:175-184
[6]
Berry Gerard, 1999, The constructive semantics of pure Esterel.
[7]
Bjesse P., 1998, ICFP '98
[9]
Farmer A., 2010, P TRENDS FUNCT PROGR