Previous
Next
Journal
- formal verification of structurally complex multipliers12
- enhanced virtual prototyping for heterogeneous systems10
- enhanced virtual prototyping : featuring risc-v case studies9
- languages, design methods, and tools for electronic system design : selected contributions from fdl 20189
- recent findings in boolean techniques : selected papers from the 14th international workshop on boolean problems9
- verbessertes virtuelles prototyping : mit risc-v-fallstudien9
- design automation techniques for approximation circuits : verification, synthesis and test8
- international journal on software tools for technology transfer8
- dac: annual acm/ieee design automation conference7