Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm"

From: XU Xing Wen (xuxingwen_at_fuji.waseda.jp)
Date: Sat Dec 04 2004 - 01:11:34 MST

• Next message: tunlee_at_hotmail.com: "Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm""
• Previous message: XU Xing Wen: "RE: About coverage estimation of SMC"
• Next in thread: tunlee_at_hotmail.com: "Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm""
• Reply: tunlee_at_hotmail.com: "Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm""
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Hi,
Can the paper "Efficient Formal Design Verification: Structure +
Algorithm" be shared?
This documentation was referenced as important for VIS development.
I hope to do some academic research development with VIS,
So I hope to read it before I come to the source codes.
Thank you very much.

• Next message: tunlee_at_hotmail.com: "Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm""
• Previous message: XU Xing Wen: "RE: About coverage estimation of SMC"
• Next in thread: tunlee_at_hotmail.com: "Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm""
• Reply: tunlee_at_hotmail.com: "Re: Ask for the referenced paper "Efficient Formal Design Verification: Structure+Algorithm""
• 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 : Sat Dec 04 2004 - 01:20:07 MST