Field Programmable Logic and Application : 14th International Conference, FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings /

by Becker, Jürgen
Published 2004

Verification methodology manual for SystemVerilog /

Published 2006

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /

Published 2003

Computer systems: architectures, modeling, and simulation : third and fourth international workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 200...

Published 2004

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings /

Published 2004

Reconfigurable networks-on-chip /

Published 2012

Architecture of computing systems-- ARCS 2011 : 24th international conference, Como, Italy, February 24-25, 2011 : proceedings /

Published 2011

Architecture of computing systems-- ARCS 2012 : 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings /

Published 2012

System-on-a-chip : design and test /

by Rajsuman, Rochit
Published 2000

Correct-by-construction approaches for SoC design /

by Sinha, Roopak, Sinha, Roopak, Sinha, Roopak, Sinha, Roopak, Basu, Samik, Basu, Samik, Basu, Samik, Roop, Parthasarathi, Roop, Parthasarathi, Roop, Parthasarathi
Published 2013

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /

Published 2003

Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings /

Published 2005