SystemC

#	Item
131	PDF Document Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 SystemC Electronic design automation Transaction-level modeling Promela Scheduling SPIN model checker Electronic engineering Hardware description languages Model checkers
132	PDF Document Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2008-08-18 08:05:36 SystemC VHDL Verilog Denotational semantics Parallel computing Semantics Programming language Electronic engineering Hardware description languages Electronic design automation