Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowMaurizio MartinaPolitecnico di TorinoPresentationsFront-End DesignEnhancing Quality and Reducing Verification Effort for RTL Implementations against High-Level C/C++ Models using Formal EquivalenceDesignEngineering TracksFront-End Design
