(no subject)

From: 022021074_at_fudan.edu.cn
Date: Tue Mar 02 2004 - 21:19:13 MST

• Next message: Chao Wang: "Re: your mail"
• Previous message: Swarat Chaudhuri: "(no subject)"
• Next in thread: Chao Wang: "Re: your mail"
• Reply: Chao Wang: "Re: your mail"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi,folks,

    I have benn working on sequential circuit for several months. The iscas89 benchmarks are very popular in verification area.I download them from internet,while the format is BLIF.you know, the relation between variables is truth table,and only gives the ON set. Now, what I want is another kind of format,in which the relation between variables is basic gate type such as (N)AND,(N)OR,(N)XOR,NOT.

    Woule you mind telling me  how to get them on internet,or which tool can  converse BLIF in that kind of format,or whether you have the code writting in C/C++ that can do this job ? 

  Thanks,

 Huang Wei   

• Next message: Chao Wang: "Re: your mail"
• Previous message: Swarat Chaudhuri: "(no subject)"
• Next in thread: Chao Wang: "Re: your mail"
• Reply: Chao Wang: "Re: your mail"
• 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 : Tue Mar 02 2004 - 21:33:30 MST