Documents similaires: Prospects for Hardware Foundations :
- Advances in Hardware Design and Verification /
- Towards Hardware-Intrinsic Security : Foundations and Practice /
- Formal Hardware Verification : Methods and Systems in Comparison /
- Concurrency and Hardware Design : Advances in Petri Nets /
- SystemVerilog for Hardware Description : RTL Design and Verification /
- Higher-Level Hardware Synthesis /