( ESNUG 370 Item 17 ) ------------------------------------------- [05/17/01]
From: Andrew Peebles <peebles@cisco.com>
Subject: John, You Should Check Out This New Model Checking Company "@HDL"
John,
You should check out this new company "@HDL". They are launching at next
month's DAC. They are doing a hybrid static model checking and intelligent
random simulation product called "@Verifier".
Their team is the gang from Frontline Design and they are funded by Prabhu
Goel and Atiq Raza.
- Andrew Peebles
Cisco Systems
============================================================================
Trying to figure out a Synopsys bug? Want to hear how 11,000+ other users
dealt with it? Then join the E-Mail Synopsys Users Group (ESNUG)!
!!! "It's not a BUG, jcooley@world.std.com
/o o\ / it's a FEATURE!" (508) 429-4357
( > )
\ - / - John Cooley, EDA & ASIC Design Consultant in Synopsys,
_] [_ Verilog, VHDL and numerous Design Methodologies.
Holliston Poor Farm, P.O. Box 6222, Holliston, MA 01746-6222
Legal Disclaimer: "As always, anything said here is only opinion."
The complete, searchable ESNUG Archive Site is at http://www.DeepChip.com
|
|
