🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lsi
Article #401

Re: Information needed

#401
From: Luciano Lavagno
Date: Wed, 30 Sep 1992 17:15
23 lines
1598 bytes
In article <1992Sep30.093057.25933@peanuts.informatik.uni-tuebingen.de>,
es@peanuts.informatik.uni-tuebingen.de (Endric Schubert) writes:
>In article <1992Sep29.150706.29931@imag.fr>, boudjit@rhone.imag.fr (Mokhtar
>BOUDJIT) writes:
[...]
>|> 	- Is there any tool to translate a BLIF or SLIF multi-level
>|> 	sequential or combinational formats of the ISCAS benchmark
>|> 	circuits in the two-level description in order to use 
>|> 	Espresso as this one accepts as input only a two-level 
>|> 	description of a boolean function..
[...]
>yup, there is:
>
>use misII or sis (the newer one) from UC Berkeley:
>``misII -t blif -T pla -o <outfile>.pla <infile>.blif''

But be ready to wait for a while if '<infile>.blif' does not have a reasonable
sized two-level representation (apparently only C17 does :-) ).
Luciano

-- 
Luciano Lavagno            luciano@ic.Berkeley.EDU            +1-510-642-5012
Dept. of EECS, 207-69 Cory Hall, Univ. of California, Berkeley, CA 94720, USA
Technical Details
Message-ID: <1992Sep30.171514.27937@pasteur.Berkeley.EDU>
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!agate!pasteur!athos.Berkeley.EDU!luciano
References: <1992Sep29.150706.29931@imag.fr> <1992Sep30.093057.25933@peanuts.informatik.uni-tuebingen.de>

Show Full Headers
Complete Article Headers
Newsgroups: comp.lsi,comp.lsi.testing
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!agate!pasteur!athos.Berkeley.EDU!luciano
From: luciano@athos.Berkeley.EDU (Luciano Lavagno)
Subject: Re: Information needed
Message-ID: <1992Sep30.171514.27937@pasteur.Berkeley.EDU>
Sender: nntp@pasteur.Berkeley.EDU (NNTP Poster)
Nntp-Posting-Host: athos.berkeley.edu
Reply-To: luciano@athos.Berkeley.EDU (Luciano Lavagno)
Organization: UC Berkeley IC CAD Group
References:  <1992Sep29.150706.29931@imag.fr> <1992Sep30.093057.25933@peanuts.informatik.uni-tuebingen.de>
Date: Wed, 30 Sep 1992 17:15:14 GMT
Lines: 23