Oski Technology to Present Formal Sign-Off Methodology at SNUG 2015
Formal Sign-Off Methodology Talk Meant for RTL Designs, Verification Engineers, Project Team Managers
MOUNTAIN VIEW, CA–(Marketwired – Sep 16, 2015) –
WHO: Prashant Aggarwal, principal engineer at Oski Technology, Inc., the only dedicated formal verification service provider
WHAT: Will present “Is End-to-End Formal Test bench Complete?” along with Anders Nordstrom, senior corporate application engineer in the Synopsys Verification Group, during the SNUG® (Synopsys Users Group) Austin. The talk, tailored for register transfer level (RTL) designers, verification engineers and project team managers, will describe an End-to-End Formal Sign-off Methodology and key features in the Synopsys VC Formal software to support this methodology.
WHEN: Friday, September 18
WHERE: Hyatt Regency Austin, Austin, Texas
For more information about SNUG Austin, go to: http://bit.ly/1KWvIb4
The Oski Technology website can be found at: www.oskitechnology.com
About Oski Technology
Oski Technology is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world’s foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitechnology.com.