CIMdata PLM Industry Summary Online Archive
7 June 2004
Product News
Archer VerificationT System Provides Open Standards Support With Availability of SystemVerilog and VHDL Products
0-In Design Automation ( http://www.0-in.com ), the Assertion-Based Verification Company, announced products within the Archer Verification system that provide support for Accellera's SystemVerilog 3.1a design constructs and IEEE-1076 VHDL. These new products join 0-In's already strong support of standard languages that include IEEE-1364 Verilog and Accellera's Property Specification Language (PSL).
"0-In is actively and firmly committed to open standards and interoperability", said Steve White, 0-In's president and CEO, "Our customer base, with over 15,000 assertion simulation licenses and 5,000 formal verification licenses, continues to help us prioritize rollout of standards support. Now customers using SystemVerilog and VHDL will have access to the industry's most widely used tools and proven methodologies for reaching verification closure."
Archer-CDV will support SystemVerilog 3.1a design constructs and VHDL to provide structural and assertion-based coverage capabilities within a coverage-driven verification methodology. Archer-CDV leverages 0-In's CheckerWare® library of assertions and monitors to detect bugs earlier and make debug faster. CheckerWare encapsulates both functional checking and structural coverage monitoring for testing common design elements and standard interfaces.
Archer-SF will support VHDL to provide design teams with an easy-to-use, powerful static assertion-based and formal verification capability for finding bugs. Archer-SF includes automatic RTL rule checking, static clock-domain crossing verification and static formal verification of assertions.
Archer-CDV has a North American list price of $50,000 for a one-year time-based license. Archer-CDV with SystemVerilog 3.1a design constructs and VHDL support is available for early-access customers now and will be generally available in the fourth quarter of 2004. Archer-SF has a North American list price of $60,000 for a one-year time-based license. Archer-SF with VHDL support is available for early-access customers now and will be generally available in the fourth quarter of 2004.
Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.
Tell us what you think of the CIMdata Newsletter. Send your feedback.
CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.