Return to Article Details
Multicore SMT-BMC for Embedded Co-Design: MaxSMT-Aided Hardware/Software Partitioning at Scale
Download