The Community for Technology Leaders
Computer-Aided Design, International Conference on (2007)
San Jose, CA USA
Nov. 4, 2007 to Nov. 8, 2007
ISSN: 1092-3152
ISBN: 978-1-4244-1381-2
TABLE OF CONTENTS

Introduction (PDF)

pp. i-ii

Conference committee (PDF)

pp. iii-vii

Foreword (PDF)

pp. viii

Scalable exploration of functional dependency by interpolation and incremental SAT solving (Abstract)

Chih-Chun Lee , Nat. Taiwan Univ., Taipei
J.-H.R. Jiang , Nat. Taiwan Univ., Taipei
Chung-Yang Huang , Nat. Taiwan Univ., Taipei
pp. 227-233

An efficient method for statistical circuit simulation (Abstract)

F. Liu , IBM Austin Res. Lab, Austin
pp. 719-724
97 ms
(Ver 3.1 (10032016))