'Ch swap' presentation slideshows

Direct Synthesis of Hardware Designs Using a SAT Solver

Direct Synthesis of Hardware Designs Using a SAT Solver. Dr David Greaves University of Cambridge Computer Laboratory http://www.cl.cam.ac.uk/users/djg. RSP 2004 Geneva. (C) 2004 IEEE Computer Society. System Design is a planning problem We deploy resources in time and space

389 views • 25 slides