Article View: fa.caml
Article #116Re: [ANN] Boolean expression simplifier library
From: Phil Tomson
Date: Thu, 19 Apr 2012 22:05
Date: Thu, 19 Apr 2012 22:05
30 lines
2705 bytes
2705 bytes
On Apr 19, 7:55 am, "Markus W. Weißmann" <markus.weissm...@in.tum.de> wrote: > Hello, > > On 19 Apr 2012, at 02:56, Francois Berenger wrote: > > > I'm curious, what is it used for? > > > Is it for people doing proof checkers or things like this? > > Like that, yes: > We successfully use it for reducing the size of programs we want to perform model checking on. My concrete target are industrial robot systems [1]. > > I even tried to integrate it into a compiler to reduce the size of right-hand-side boolean expression; unfortunately for small expressions the normalization (that occurs during minimization) often made the results less optimal than just some heuristic rewriting rules. > > Generally speaking you would use it for optimizing the execution time of boolean expressions; I would guess that the biggest user base of similar implementations are electrical engineers designing circuit boards. Well, not just circuit boards but more like ICs (CPUs, ASICs, FPGAs, etc). Logic synthesis (of which optimization of boolean functions plays an important part) is a requirement for designing modern chips. Phil
Technical Details
Message-ID:
<fad06aa2-b7f8-4d6c-83a9-126fd4e64263@po5g2000pbb.googlegroups.com>Path:
arc1-ca.pugleaf.net!r9ni75691pbh.0!nntp.google.com!news1.google.com!postnews.google.com!po5g2000pbb.googlegroups.com!not-for-mailReferences:
<fa.fAw41xsBYTYJoeFiCdsHBUoKOYA@ifi.uio.no> <fa.E019rOq25021XLEIFfo7TZM44Pk@ifi.uio.no> <fa.YJGOs31ZzNwOPuQot2xs4vXV5Ik@ifi.uio.no>Show Full Headers
Complete Article Headers
X-Google-Thread: ff861,b7c03ba90cedb70b
X-Google-NewGroupId: yes
X-Google-Attributes: gidc0fe4b917e,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.227.230 with SMTP id sd6mr3402144pbc.8.1334873155900;
Thu, 19 Apr 2012 15:05:55 -0700 (PDT)
Path: arc1-ca.pugleaf.net!r9ni75691pbh.0!nntp.google.com!news1.google.com!postnews.google.com!po5g2000pbb.googlegroups.com!not-for-mail
From: Phil Tomson <philtomson@gmail.com>
Newsgroups: fa.caml
Subject: Re: [ANN] Boolean expression simplifier library
Date: Thu, 19 Apr 2012 15:05:55 -0700 (PDT)
Organization: http://groups.google.com
Lines: 31
Message-ID: <fad06aa2-b7f8-4d6c-83a9-126fd4e64263@po5g2000pbb.googlegroups.com>
References: <fa.fAw41xsBYTYJoeFiCdsHBUoKOYA@ifi.uio.no> <fa.E019rOq25021XLEIFfo7TZM44Pk@ifi.uio.no>
<fa.YJGOs31ZzNwOPuQot2xs4vXV5Ik@ifi.uio.no>
NNTP-Posting-Host: 134.134.137.75
Mime-Version: 1.0
X-Trace: posting.google.com 1334873155 8215 127.0.0.1 (19 Apr 2012 22:05:55 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 19 Apr 2012 22:05:55 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: po5g2000pbb.googlegroups.com; posting-host=134.134.137.75; posting-account=Kn762goAAAAMPSgl6C59PZNMbIpyBkRH
User-Agent: G2/1.0
X-HTTP-Via: 1.1 jfdmzpr06.jf.intel.com
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/535.19
(KHTML, like Gecko) Chrome/18.0.1025.151 Safari/535.19,gzip(gfe)
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable