From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0LGeMY0023481
	for <caml-list@sympa-roc.inria.fr>; Fri, 21 Jan 2011 17:40:22 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ak4BADFGOU1KfVK2kGdsb2JhbACWSI4VCBUBAQEBCQkMBxEEIKNbiXuCF4RnLohYAQEDBYVLBIsfgyVs
X-IronPort-AV: E=Sophos;i="4.60,359,1291590000"; 
   d="scan'208";a="87679232"
Received: from mail-wy0-f182.google.com ([74.125.82.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 21 Jan 2011 17:40:16 +0100
Received: by wyf19 with SMTP id 19so1973762wyf.27
        for <caml-list@inria.fr>; Fri, 21 Jan 2011 08:40:16 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:content-type:mime-version:subject:from
         :in-reply-to:date:content-transfer-encoding:message-id:references:to
         :x-mailer;
        bh=fYOcFg67Z7hnEhlLeDbr13FKKsHXSXY4bYQoE7txIZc=;
        b=LTA/VzdWEfwemvisOZjkk2S2YBK+TQNsfcD+tOGqF3RW9f/Vw2N4nroaigurpj7h4h
         +/hJe7QrZjH1YNe87pfle+0USu+qscUGj51LHiDUgXrKCailcWJmYomVksPrqBh1TOoO
         YmIiXlDwT/8N7TPGh1ihSUb+f4V8VaB0jBvoU=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=content-type:mime-version:subject:from:in-reply-to:date
         :content-transfer-encoding:message-id:references:to:x-mailer;
        b=v/KATlG6amFWk1SNDfE2SxigOecBDVflVCaaYuLGYR5twk+r6RA5tYx6DWP82cJ5Y/
         hYU3FLCLC1fPqM811vn5AkTZ99hkTG9iL8vnA/l+Siuqlsv+Q2MKpxha1l92ednUXIWh
         w+d7xgxEgtqalqWqAD3887SeD48ai8Qxb/G3M=
Received: by 10.216.145.90 with SMTP id o68mr859648wej.8.1295628015047;
        Fri, 21 Jan 2011 08:40:15 -0800 (PST)
Received: from [192.168.0.193] ([95.60.213.7])
        by mx.google.com with ESMTPS id t5sm4990972wes.33.2011.01.21.08.40.13
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Fri, 21 Jan 2011 08:40:14 -0800 (PST)
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Apple Message framework v1082)
From: Joel Reymont <joelr1@gmail.com>
In-Reply-To: <42FE6528-E0B7-4924-98D3-EFB2137AFBD4@gmail.com>
Date: Fri, 21 Jan 2011 16:40:11 +0000
Message-Id: <E943103A-EA1A-4DDC-985F-8E5198D8A3C1@gmail.com>
References: <42FE6528-E0B7-4924-98D3-EFB2137AFBD4@gmail.com>
To: caml-list@inria.fr
X-Mailer: Apple Mail (2.1082)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p0LGeMY0023481
Subject: [Caml-list] Re: Want: VSYML a symbolic simulator for integrated circuits in OCaml

The presentation is at 

http://users-tima.imag.fr/vds/ouchet/index_fichiers/publications.html

What I'd really love to have is the "High-level symbolic simulation for automatic model extraction" paper that's behind the pay wall :-(.

---
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont