DMCA

Combining Theorem Proving and Model Checking for Certification of Behavioral Synthesis Flows

by Sandip Ray
Citations:1 - 1 self