From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id CAA08623; Mon, 26 Mar 2001 02:33:40 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA08619 for ; Mon, 26 Mar 2001 02:33:40 +0200 (MET DST) Received: from motgate4.mot.com (motgate4.mot.com [144.189.100.102]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2Q0XcT04974 for ; Mon, 26 Mar 2001 02:33:38 +0200 (MET DST) Received: [from mothost.mot.com (mothost.mot.com [129.188.137.101]) by motgate4.mot.com (motgate4 2.1) with ESMTP id RAA17407 for ; Sun, 25 Mar 2001 17:33:33 -0700 (MST)] Received: [from fraser.asc.corp.mot.com (fraser.asc.corp.mot.com [217.1.104.8]) by mothost.mot.com (MOT-mothost 2.0) with ESMTP id RAA29831 for ; Sun, 25 Mar 2001 17:33:31 -0700 (MST)] Received: from motorola.com (yarka01 [217.1.106.82]) by fraser.asc.corp.mot.com (8.8.7/8.8.7) with ESMTP id KAA04844; Mon, 26 Mar 2001 10:03:24 +0930 (CST) Message-ID: <3ABE8D60.6685E7C5@motorola.com> Date: Mon, 26 Mar 2001 09:59:20 +0930 From: Dennis Gang Chen X-Mailer: Mozilla 4.7 [en] (WinNT; I) X-Accept-Language: en MIME-Version: 1.0 To: Brian Rogoff CC: caml-list@inria.fr Subject: Re: [Caml-list] Why People Aren't Using OCAML? (was Haskell) References: Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > I would have said that it's ideal for VLSI design software (any other EDA > hackers out there?) so maybe it's just ideal for everything? I would like to hear more about using ocaml in VLSI design and verification. For simulation and formal verification of chips, speed is crucial. Cheers. -- ================================================================== -- Dennis Gang Chen -- Senior Software Engineer, CAD Tools -- EDA Solutions and Products Strategic -- Global Software Group (GSG) -- -- email: Dennis.G.Chen@motorola.com -- office: +61-8-8203 3560 fax: +61-8-8203 3501 -- addr: 2, Second Avenue, Mawson Lakes, Adelaide, 5095. Australia ================================================================== ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr