| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| A.doc | 17-Jan-2005 11:36 | 78K | ||
| AA.doc | 19-Oct-2005 11:58 | 61K | ||
| ABprot.aut | 01-Nov-2005 12:32 | 1.0K | ||
| ABprot.h | 01-Nov-2005 12:32 | 15K | ||
| ABprot.lotos | 01-Nov-2005 12:32 | 712 | ||
| ABprot.omin | 01-Nov-2005 12:32 | 523 | ||
| ABprot1.lotos | 01-Nov-2005 12:32 | 593 | ||
| ANDgate.bcg | 08-Feb-2005 23:20 | 2.7K | ||
| ANDgate.draw | 08-Feb-2005 23:27 | 0 | ||
| ANDgate.lotos | 10-Feb-2005 12:10 | 303 | ||
| ANDgate.omin | 10-Feb-2005 12:11 | 320 | ||
| ANDgate1.lotos | 10-Feb-2005 12:01 | 295 | ||
| ANDgate1.omin | 10-Feb-2005 12:14 | 320 | ||
| Acma/ | 02-Mar-2005 11:40 | - | ||
| BB.doc | 19-Oct-2005 11:58 | 67K | ||
| Fnew.doc | 30-Jan-2005 18:33 | 61K | ||
| Gee.doc | 30-Jan-2005 18:36 | 52K | ||
| Lotlec/ | 02-Mar-2005 11:40 | - | ||
| MY05.doc | 24-Jan-2005 11:41 | 28K | ||
| MY05.htm | 07-Jul-2005 13:57 | 12K | ||
| PC24.aut | 08-Sep-2005 14:26 | 106 | ||
| PC24.lotos | 08-Sep-2005 14:26 | 404 | ||
| PC24.omin | 08-Sep-2005 14:26 | 93 | ||
| PC24imp.aut | 08-Sep-2005 14:26 | 275 | ||
| PC24imp.lotos | 08-Sep-2005 14:26 | 298 | ||
| PC24omin | 08-Sep-2005 14:26 | 183 | ||
| PC42imp.aut | 08-Sep-2005 14:27 | 1.1K | ||
| PC42spec.aut | 08-Sep-2005 14:27 | 126 | ||
| PC42spec.lotos | 08-Sep-2005 14:27 | 228 | ||
| PC42ver.aut | 08-Sep-2005 14:27 | 265 | ||
| PC42ver.lotos | 08-Sep-2005 14:27 | 615 | ||
| RGD.smv | 30-Oct-2005 11:42 | 495 | ||
| RGDarb.smv | 30-Oct-2005 11:42 | 429 | ||
| ResProp05.doc | 23-Jan-2005 12:21 | 34K | ||
| ToC.htm | 15-Oct-2005 12:08 | 75K | ||
| VeMa1.lotos | 23-Feb-2006 23:54 | 678 | ||
| adder_carry.lotos | 04-Sep-2005 12:14 | 483 | ||
| adder_carry.omin | 04-Sep-2005 12:15 | 1.1K | ||
| adder_sum.lotos | 04-Sep-2005 12:14 | 443 | ||
| arbit.smv | 30-Oct-2005 11:42 | 832 | ||
| arbit1.smv | 30-Oct-2005 11:42 | 800 | ||
| arbit2.smv | 30-Oct-2005 11:42 | 666 | ||
| bkintro.doc | 29-Dec-2004 11:53 | 29K | ||
| caps/ | 02-Mar-2005 11:40 | - | ||
| cel.ps | 16-Feb-2005 09:37 | 5.4K | ||
| cel3.sg | 07-Feb-2005 11:54 | 6.2K | ||
| cel3.sg.ps | 07-Feb-2005 12:18 | 6.2K | ||
| flex1.aut | 09-Feb-2005 11:43 | 445 | ||
| flex1.h | 09-Feb-2005 11:43 | 4.9K | ||
| flex1.lotos | 09-Feb-2005 11:42 | 216 | ||
| flex1.omin | 09-Feb-2005 11:44 | 197 | ||
| ha.omin | 02-Nov-2005 11:03 | 501 | ||
| half_adder.lotos | 02-Nov-2005 10:57 | 590 | ||
| icel.lotos | 20-Feb-2006 10:20 | 201 | ||
| lectures_fdd/ | 02-Mar-2005 11:40 | - | ||
| lock.smv | 30-Oct-2005 11:42 | 220 | ||
| max2.aut | 01-Nov-2005 12:05 | 1.0K | ||
| max2.h | 01-Nov-2005 12:05 | 15K | ||
| max2.lotos | 01-Nov-2005 12:05 | 242 | ||
| max2.omin | 01-Nov-2005 12:05 | 258 | ||
| max3.aut | 01-Nov-2005 12:05 | 958 | ||
| max3.h | 01-Nov-2005 12:05 | 15K | ||
| max3.lotos | 01-Nov-2005 12:05 | 274 | ||
| max3.omin | 01-Nov-2005 12:05 | 217 | ||
| mod5count_ver.lotos | 24-Feb-2006 22:33 | 624 | ||
| new_toc.doc | 22-Dec-2004 12:28 | 50K | ||
| nmutex.lp | 24-Aug-2004 12:16 | 1.5K | ||
| nmutex.lplog | 24-Aug-2004 12:16 | 22K | ||
| nmutex.lpscr | 24-Aug-2004 12:16 | 2.7K | ||
| pc2.lotos | 12-Oct-2005 12:27 | 314 | ||
| prior.smv | 30-Oct-2005 11:42 | 271 | ||
| procon.net | 08-Oct-2005 23:46 | 416 | ||
| research_topics.htm | 21-Jan-2005 12:15 | 27K | ||
| revinets | 15-Feb-2005 12:30 | 2.0K | ||
| rgd2.smv | 30-Oct-2005 11:42 | 401 | ||
| rgdarb.smv | 30-Oct-2005 11:42 | 368 | ||
| rgdarb1.smv | 30-Oct-2005 11:42 | 368 | ||
| short.smv | 30-Oct-2005 11:36 | 338 | ||
| smv.RGD.smv | 30-Oct-2005 11:49 | 470 | ||
| smv.arbit.smv | 30-Oct-2005 11:56 | 342 | ||
| smv.arbit1.smv | 30-Oct-2005 11:58 | 832 | ||
| smv.prior.smv | 30-Oct-2005 11:46 | 0 | ||
| tog5ver.lotos | 20-Sep-2005 17:16 | 747 | ||
| udcount3.smv | 30-Oct-2005 11:42 | 461 | ||
| ver_toc/ | 02-Mar-2005 11:40 | - | ||