../ README,v 07-Jun-2004 22:00 731 read_design.inc,v 07-Jun-2004 22:00 2391 run_syn,v 07-Jun-2004 22:00 570 top.scr,v 07-Jun-2004 22:00 6963