HECTOR and VC Formal DPV, Past, Present, and Future | Synopsys

VC Formal DPV, with HECTOR technology, has helped verification engineers find the toughest bugs in their datapath designs for over a decade. Learn about the history of HECTOR from Alfred Koelbl, Synopsys scientist, and architect of the technology.

Learn more about Synopsys: https://www.synopsys.com/
Subscribe: synopsys
Follow Synopsys on Twitter: Twitter: synopsys
Like Synopsys on Facebook: Facebook: Synopsys
Follow Synopsys on LinkedIn: LinkedIn: Synopsys

• #science_technology
• #verification
• #formal_verification
• #vc_formal_dpv