total 36 drwxr-xr-x 16 smohanty staff 512 Apr 27 1995 ./ dr-xr-xr-x 13 root staff 512 Jul 14 22:12 ../ -rwxr-xr-x 1 smohanty daemon 4076 Jul 15 09:29 00README* -rw-r--r-- 1 smohanty daemon 15338 Apr 27 23:38 00index drwxr-xr-x 2 smohanty other 512 Apr 27 23:17 Docs/ drwxr-xr-x 5 smohanty daemon 512 Oct 26 1994 analog/ drwxr-xr-x 2 smohanty daemon 512 Sep 11 1994 compose/ drwxr-xr-x 2 smohanty daemon 512 Aug 29 1994 cookbook/ drwxr-xr-x 2 smohanty daemon 512 Aug 29 1994 februno/ drwxr-xr-x 3 smohanty staff 512 Apr 5 1993 general/ drwxrwxrwx 2 smohanty daemon 512 Jun 15 1994 incoming/ -rw-r--r-- 1 smohanty daemon 1137 Aug 11 1993 index.txt drwxr-xr-x 6 smohanty staff 512 Sep 11 1994 models/ drwxr-xr-x 2 smohanty daemon 512 Aug 29 1994 packages/ drwxr-xr-x 2 smohanty daemon 512 Oct 28 1994 petri/ drwxr-xr-x 2 smohanty daemon 512 Oct 30 15:51 queue/ lrwxrwxrwx 1 smohanty daemon 24 Dec 3 17:46 synthesis_benchmarks -> ../synthesis_benchmarks// drwxr-xr-x 4 smohanty staff 512 Oct 26 1994 tools/ drwxr-xr-x 3 smohanty staff 512 Apr 5 1993 validation/ drwxr-xr-x 2 smohanty daemon 512 Aug 29 1994 vhdl-93/ Docs: analog: total 1031 -rw------- 1 smohanty daemon 1383 Jun 4 1993 README -rwxr-xr-x 1 smohanty daemon 1040384 Jun 4 1993 anavhdl_11.tar* drwxr-xr-x 2 smohanty daemon 512 Oct 26 1994 doc/ drwxr-xr-x 5 smohanty daemon 512 Oct 26 1994 examples/ drwxr-xr-x 2 smohanty daemon 512 Oct 26 1994 src/ analog/doc: total 725 -rwxr-xr-x 1 smohanty daemon 725883 Jun 4 1993 thesis.ps* -rwxr-xr-x 1 smohanty daemon 3060 Jun 4 1993 users_guide* analog/examples: total 6 drwxr-xr-x 2 smohanty daemon 512 Jun 4 1993 8-bit-DAC/ -rwxr-xr-x 1 smohanty daemon 200 Jun 4 1993 README* drwxr-xr-x 2 smohanty daemon 512 Jun 4 1993 inv-gate-combo/ drwxr-xr-x 2 smohanty daemon 512 Jun 4 1993 sigdel/ analog/examples/8-bit-DAC: total 12 -rwxr-xr-x 1 smohanty daemon 3469 Jun 4 1993 DAC.vhdl* -rwxr-xr-x 1 smohanty daemon 1218 Jun 4 1993 Makefile* -rwxr-xr-x 1 smohanty daemon 611 Jun 4 1993 README* -rwxr-xr-x 1 smohanty daemon 413 Jun 4 1993 ladder* -rwxr-xr-x 1 smohanty daemon 1441 Jun 4 1993 opamp* analog/examples/inv-gate-combo: total 14 -rwxr-xr-x 1 smohanty daemon 1853 Jun 4 1993 Makefile* -rwxr-xr-x 1 smohanty daemon 703 Jun 4 1993 README* -rwxr-xr-x 1 smohanty daemon 6036 Jun 4 1993 inv_gate.vhdl* -rwxr-xr-x 1 smohanty daemon 611 Jun 4 1993 nand.vhdl* -rwxr-xr-x 1 smohanty daemon 580 Jun 4 1993 nmos1* -rwxr-xr-x 1 smohanty daemon 581 Jun 4 1993 nmos2* analog/examples/sigdel: total 18 -rwxr-xr-x 1 smohanty daemon 2153 Jun 4 1993 Makefile* -rwxr-xr-x 1 smohanty daemon 605 Jun 4 1993 README* -rwxr-xr-x 1 smohanty daemon 1450 Jun 4 1993 d_ff.vhdl* -rwxr-xr-x 1 smohanty daemon 133 Jun 4 1993 lowpass* -rwxr-xr-x 1 smohanty daemon 611 Jun 4 1993 nand.vhdl* -rwxr-xr-x 1 smohanty daemon 1394 Jun 4 1993 opamp* -rwxr-xr-x 1 smohanty daemon 5349 Jun 4 1993 sigdel.vhdl* analog/src: total 258 -rwxr-xr-x 1 smohanty daemon 3524 Jun 4 1993 A2D.vhdl* -rwxr-xr-x 1 smohanty daemon 4387 Jun 4 1993 D2A.vhdl* -rwxr-xr-x 1 smohanty daemon 417 Jun 4 1993 README* -rwxr-xr-x 1 smohanty daemon 15762 Jun 4 1993 anavhdl.vhdl* -rwxr-xr-x 1 smohanty daemon 137087 Jun 4 1993 compute_pack.vhdl* -rwxr-xr-x 1 smohanty daemon 16778 Jun 4 1993 interface_pack.vhdl* -rwxr-xr-x 1 smohanty daemon 70649 Jun 4 1993 io_pack.vhdl* compose: total 12 -rw-r--r-- 1 smohanty other 9483 Sep 11 14:45 compose.tar.gz cookbook: total 1642 -rw-r--r-- 1 smohanty other 1542 Aug 29 14:05 README -rw-r--r-- 1 smohanty other 1669183 Aug 29 14:10 VHDL-Cookbook.ps.tar.Z februno: total 210 -rw-r--r-- 1 smohanty other 204753 Jun 24 09:40 vhdl_papers_complete.tar.gz vhdl-93: total 22 -rw-r--r-- 1 smohanty other 20301 Aug 29 14:17 VHDL-93.bnf general: total 34 drwxr-xr-x 2 smohanty staff 512 Apr 5 1993 Mail/ -rwxr-xr-x 1 smohanty staff 1607 Apr 5 1993 prolog.pro* -rwxr-xr-x 1 smohanty staff 1121 Apr 5 1993 sample.pro* -rwxr-xr-x 1 smohanty staff 19968 Apr 5 1993 usersguide.doc* -rwxr-xr-x 1 smohanty staff 8515 Apr 5 1993 usersguide.troff.Z* general/Mail: total 0 incoming: total 0 models: total 7 drwxr-xr-x 2 smohanty other 512 Aug 29 21:44 Vsim/ drwxr-xr-x 2 smohanty other 512 Aug 28 11:57 armstrong/ drwxr-xr-x 2 smohanty other 512 Aug 28 11:58 dlx/ drwxr-xr-x 2 smohanty other 512 Aug 29 21:45 recursive/ models/Vsim: total 196 -rw-r--r-- 1 smohanty other 120071 Aug 29 14:17 CS-TR-93-01.ps.Z -rw-r--r-- 1 smohanty other 1253 Aug 29 14:17 README -rw-r--r-- 1 smohanty other 64709 Aug 29 14:18 benchmarks.tar.Z models/armstrong: total 56 -rwxr-xr-x 1 smohanty staff 54281 Apr 5 1993 armstrong.shar* models/dlx: total 39 -rwxr-xr-x 1 smohanty other 36928 Nov 2 1993 dlx.tar.gz models/recursive: total 262 -rwxr-xr-x 1 smohanty other 53248 Aug 29 14:15 recursive_models.vhdl* -rwxr-xr-x 1 smohanty other 204025 Aug 29 14:16 tech-report.ps.Z* packages: total 8 -rw-r--r-- 1 smohanty other 5618 Jun 15 14:38 random.vhdl.gz tools: total 71 -rwxr-xr-x 1 smohanty staff 1410 Jul 14 1993 README* drwxr-xr-x 5 smohanty other 512 Jun 8 1993 anavhdl/ -rwxr-xr-x 1 smohanty staff 19943 Apr 5 1993 translate-72-to-1076.el* -rwxr-xr-x 1 smohanty other 20329 Jul 29 1993 uc_vhdlgrammar.Z* -rwxr-xr-x 1 smohanty staff 26439 Apr 5 1993 vhdl-mode.el* drwxr-xr-x 2 smohanty other 512 Jul 20 1993 vmkr/ drwxr-xr-x 2 smohanty other 512 Jul 20 1993 vsplit/ tools/anavhdl: total 1029 -rwxr-xr-x 1 smohanty other 1383 Jun 4 1993 README* -rwxr-xr-x 1 smohanty other 1040384 Jun 4 1993 anavhdl_11.tar* drwxr-xr-x 2 smohanty other 512 Jun 4 1993 doc/ drwxr-xr-x 5 smohanty other 512 Jun 4 1993 examples/ drwxr-xr-x 2 smohanty other 512 Jun 4 1993 src/ tools/anavhdl/doc: total 723 -rwxr-xr-x 1 smohanty other 725883 Jun 4 1993 thesis.ps* -rwxr-xr-x 1 smohanty other 3060 Jun 4 1993 users_guide* tools/anavhdl/examples: total 4 drwxr-xr-x 2 smohanty other 512 Jun 4 1993 8-bit-DAC/ -rwxr-xr-x 1 smohanty other 200 Jun 4 1993 README* drwxr-xr-x 2 smohanty other 512 Jun 4 1993 inv-gate-combo/ drwxr-xr-x 2 smohanty other 512 Jun 4 1993 sigdel/ tools/anavhdl/examples/8-bit-DAC: total 10 -rwxr-xr-x 1 smohanty other 3469 Jun 4 1993 DAC.vhdl* -rwxr-xr-x 1 smohanty other 1218 Jun 4 1993 Makefile* -rwxr-xr-x 1 smohanty other 611 Jun 4 1993 README* -rwxr-xr-x 1 smohanty other 413 Jun 4 1993 ladder* -rwxr-xr-x 1 smohanty other 1441 Jun 4 1993 opamp* tools/anavhdl/examples/inv-gate-combo: total 12 -rwxr-xr-x 1 smohanty other 1853 Jun 4 1993 Makefile* -rwxr-xr-x 1 smohanty other 703 Jun 4 1993 README* -rwxr-xr-x 1 smohanty other 6036 Jun 4 1993 inv_gate.vhdl* -rwxr-xr-x 1 smohanty other 611 Jun 4 1993 nand.vhdl* -rwxr-xr-x 1 smohanty other 580 Jun 4 1993 nmos1* -rwxr-xr-x 1 smohanty other 581 Jun 4 1993 nmos2* tools/anavhdl/examples/sigdel: total 16 -rwxr-xr-x 1 smohanty other 2153 Jun 4 1993 Makefile* -rwxr-xr-x 1 smohanty other 605 Jun 4 1993 README* -rwxr-xr-x 1 smohanty other 1450 Jun 4 1993 d_ff.vhdl* -rwxr-xr-x 1 smohanty other 133 Jun 4 1993 lowpass* -rwxr-xr-x 1 smohanty other 611 Jun 4 1993 nand.vhdl* -rwxr-xr-x 1 smohanty other 1394 Jun 4 1993 opamp* -rwxr-xr-x 1 smohanty other 5349 Jun 4 1993 sigdel.vhdl* tools/anavhdl/src: total 256 -rwxr-xr-x 1 smohanty other 3524 Jun 4 1993 A2D.vhdl* -rwxr-xr-x 1 smohanty other 4387 Jun 4 1993 D2A.vhdl* -rwxr-xr-x 1 smohanty other 417 Jun 4 1993 README* -rwxr-xr-x 1 smohanty other 15762 Jun 4 1993 anavhdl.vhdl* -rwxr-xr-x 1 smohanty other 137087 Jun 4 1993 compute_pack.vhdl* -rwxr-xr-x 1 smohanty other 16778 Jun 4 1993 interface_pack.vhdl* -rwxr-xr-x 1 smohanty other 70649 Jun 4 1993 io_pack.vhdl* tools/vmkr: total 131 -rwxr-xr-x 1 smohanty other 2205 Jul 14 1993 README* -rwxr-xr-x 1 smohanty other 119323 Jul 20 1993 vmkr.2.7.tar.Z* tools/vsplit: total 21 -rwxr-xr-x 1 smohanty other 1054 Jul 14 1993 README* -rwxr-xr-x 1 smohanty other 19375 Jul 14 1993 vsplit.1.1.tar.Z* validation: total 1 drwxr-xr-x 16 smohanty staff 1024 Apr 5 1993 mcc/ validation/mcc: total 835 drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH01/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH02/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH03/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH04/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH05/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH06/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH07/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH08/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH09/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH10/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH11/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH12/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH13/ drwxr-xr-x 2 smohanty other 512 Apr 5 1993 CH14/ -rwxr-xr-x 1 smohanty other 5152 Apr 5 1993 known-test-defects.text* -rwxr-xr-x 1 smohanty other 5004 Apr 5 1993 make-shar-files* -rwxr-xr-x 1 smohanty other 61707 Apr 5 1993 make-shar-files-23aug88.log* -rwxr-xr-x 1 smohanty other 2353 Apr 5 1993 make-tape.log* -rwxr-xr-x 1 smohanty other 780 Apr 5 1993 make-tape.log~* -rwxr-xr-x 1 smohanty other 3257 Apr 5 1993 make-tape.rc* -rwxr-xr-x 1 smohanty other 1376 Apr 5 1993 make-tape.rc~* -rwxr-xr-x 1 smohanty other 59251 Apr 5 1993 synopsis.text.Z* -rwxr-xr-x 1 smohanty other 10405 Apr 5 1993 test-status-by-chapter.text.Z* -rwxr-xr-x 1 smohanty other 54500 Apr 5 1993 test-synopsis-by-chapter.text.Z* -rwxr-xr-x 1 smohanty other 614939 Apr 5 1993 validation.tar.Z* validation/mcc/CH01: total 65 -rwxr-xr-x 1 smohanty other 48532 Apr 5 1993 CH01-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 17026 Apr 5 1993 CH01-test-vhdl-part-2.shar* validation/mcc/CH02: total 54 -rwxr-xr-x 1 smohanty other 48665 Apr 5 1993 CH02-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 5828 Apr 5 1993 CH02-test-vhdl-part-2.shar* validation/mcc/CH03: total 166 -rwxr-xr-x 1 smohanty other 46843 Apr 5 1993 CH03-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 47678 Apr 5 1993 CH03-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 47598 Apr 5 1993 CH03-test-vhdl-part-3.shar* -rwxr-xr-x 1 smohanty other 25803 Apr 5 1993 CH03-test-vhdl-part-4.shar* validation/mcc/CH04: total 189 -rwxr-xr-x 1 smohanty other 47432 Apr 5 1993 CH04-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 48702 Apr 5 1993 CH04-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 46761 Apr 5 1993 CH04-test-vhdl-part-3.shar* -rwxr-xr-x 1 smohanty other 25198 Apr 5 1993 CH04-test-vhdl-part-4.shar* -rwxr-xr-x 1 smohanty other 22660 Apr 5 1993 foo.tmp* validation/mcc/CH05: total 112 -rwxr-xr-x 1 smohanty other 47156 Apr 5 1993 CH05-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 46969 Apr 5 1993 CH05-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 18738 Apr 5 1993 CH05-test-vhdl-part-3.shar* validation/mcc/CH06: total 109 -rwxr-xr-x 1 smohanty other 47839 Apr 5 1993 CH06-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 47805 Apr 5 1993 CH06-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 14892 Apr 5 1993 CH06-test-vhdl-part-3.shar* validation/mcc/CH07: total 380 -rwxr-xr-x 1 smohanty other 50386 Apr 5 1993 CH07-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 51263 Apr 5 1993 CH07-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 50019 Apr 5 1993 CH07-test-vhdl-part-3.shar* -rwxr-xr-x 1 smohanty other 51593 Apr 5 1993 CH07-test-vhdl-part-4.shar* -rwxr-xr-x 1 smohanty other 49339 Apr 5 1993 CH07-test-vhdl-part-5.shar* -rwxr-xr-x 1 smohanty other 48998 Apr 5 1993 CH07-test-vhdl-part-6.shar* -rwxr-xr-x 1 smohanty other 48759 Apr 5 1993 CH07-test-vhdl-part-7.shar* -rwxr-xr-x 1 smohanty other 34514 Apr 5 1993 CH07-test-vhdl-part-8.shar* validation/mcc/CH08: total 229 -rwxr-xr-x 1 smohanty other 48901 Apr 5 1993 CH08-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 48394 Apr 5 1993 CH08-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 48312 Apr 5 1993 CH08-test-vhdl-part-3.shar* -rwxr-xr-x 1 smohanty other 47802 Apr 5 1993 CH08-test-vhdl-part-4.shar* -rwxr-xr-x 1 smohanty other 38212 Apr 5 1993 CH08-test-vhdl-part-5.shar* validation/mcc/CH09: total 111 -rwxr-xr-x 1 smohanty other 46813 Apr 5 1993 CH09-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 47205 Apr 5 1993 CH09-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 18245 Apr 5 1993 CH09-test-vhdl-part-3.shar* validation/mcc/CH10: total 104 -rwxr-xr-x 1 smohanty other 49740 Apr 5 1993 CH10-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 47895 Apr 5 1993 CH10-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 7552 Apr 5 1993 CH10-test-vhdl-part-3.shar* validation/mcc/CH11: total 0 validation/mcc/CH12: total 0 validation/mcc/CH13: total 153 -rwxr-xr-x 1 smohanty other 49456 Apr 5 1993 CH13-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 47132 Apr 5 1993 CH13-test-vhdl-part-2.shar* -rwxr-xr-x 1 smohanty other 47429 Apr 5 1993 CH13-test-vhdl-part-3.shar* -rwxr-xr-x 1 smohanty other 9880 Apr 5 1993 CH13-test-vhdl-part-4.shar* validation/mcc/CH14: total 76 -rwxr-xr-x 1 smohanty other 47997 Apr 5 1993 CH14-test-vhdl-part-1.shar* -rwxr-xr-x 1 smohanty other 29075 Apr 5 1993 CH14-test-vhdl-part-2.shar*