Cargando…
Assertion-based design
Autores principales: | Foster, Harry, Krolnik, Adam, Lacey, David |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2004
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1139933 |
Ejemplares similares
-
Generating hardware assertion checkers
por: Boulé, Marc, et al.
Publicado: (2008) -
SVA: the power of assertions in SystemVerilog
por: Cerny, Eduard, et al.
Publicado: (2015) -
SystemVerilog assertions and functional coverage: guide to language, methodology and applications
por: Mehta, Ashok B
Publicado: (2013) -
SystemVerilog assertions and functional coverage: guide to language, methodology and applications
por: Mehta, Ashok B
Publicado: (2016) -
To be assertive or not to be assertive: That is the question! Students' reactions to sexual harassment in academia
por: Cabras, Cristina, et al.
Publicado: (2022)