Materia
Assertion Libraries
1
Bibliotecas de aserciones
1
Circuitos integrados
1
Computational tree logic (CTL)
1
Diseño de alto nivel
1
Electronic systems
1
High level design
1
Integrated circuits
1
Property Specification Language (PSL)
1
Research Subject Categories::TECHNOLOGY::Electrical engineering, electronics and photonics
1
Simulación
1
Simulation
1
Sistemas electrónicos
1
Verificación -- Diseños de hardware
1
Verification -- Hardware Designs
1
Very Large Scale Integration (VLSI)
1
field programmable gate array (FPGA)
1