SIS input vector querry

From: Balaji Vaidyanathan (bvaidyan_at_cse.psu.edu)
Date: Wed Jun 28 2006 - 10:12:18 MDT

• Next message: Shaun Feng: "Re: Dealing with BLIF files"
• Previous message: Mohammad.R Kakoee: "Re: Dealing with BLIF files"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi,

Im using SIS to read a BLIF file and wanted to control
a particular net in the circuit to a 1/0
using minimal set of primary inputs.

So im trying to find a input vector
(for example say (xxx10x01) given to the 8-bit primary input)
that would set one of my internal net of interest to '1'.

atpg and short_tests weren't of much use in this regard.
write_eqn doesn't give me the equation for the particular net in terms
of the primary inputs.

I donot want to simplify (logic optimize) the circuit further using sis,
as I need to analyze the circuit as it is.

I would appreciate any help using SIS (since I have the BLIF for the
circuit), or any other method to solve this. (I also have the synthesized
verilog file of the circuit which I converted to blif).

I initially mailed my querry to vis-users_at_lists.Colorado.EDU.

Thanks
Balaji
CSE, Pennstate Univ.

• Next message: Shaun Feng: "Re: Dealing with BLIF files"
• Previous message: Mohammad.R Kakoee: "Re: Dealing with BLIF files"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Wed Jun 28 2006 - 10:21:14 MDT