Presenter <Full Program · Contributors · Organizations · Search Program · Flagged · My Recommendations · Happening NowMore…Search ProgramFlaggedMy RecommendationsHappening NowCong TianXidian UniversityPresentationsResearch ManuscriptParallel Combinational Equivalence Checking Through Factored Form Sharing11:42am - 11:54am PDT Wednesday, July 29 Mtg Room 202ABEDAEDA2. Design Verification and Validation
