[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference decsim::sim90

Title:SIM90 Forum
Moderator:DECSIM::FARMER
Created:Wed Jul 01 1987
Last Modified:Tue May 08 1990
Last Successful Update:Fri Jun 06 1997
Number of topics:47
Total number of notes:358

18.0. "Explicit Constraint Verification" by ECADSR::FINNERTY () Mon Sep 14 1987 11:22

T.RTitleUserPersonal
Name
DateLines
18.1here, here!SIGANA::JWILLIAMSMon Sep 14 1987 13:1737
18.2a primitive ideaPASTA::WATERSTue Sep 15 1987 08:5662
18.3An ExampleISHTAR::JWILLIAMSThu Sep 17 1987 11:2015
18.4does that show the real problem?PASTA::WATERSSun Sep 27 1987 21:5415
18.5Design Specification LanguageECADSR::FINNERTYMon Sep 28 1987 10:5913
18.6PROLOG backwards simulation?HITEST::JWILLIAMSMon Sep 28 1987 12:3427
18.7What language to use? HDL, of course!SIGANA::JWILLIAMSMon Sep 28 1987 17:3837
18.8logic simulation in OPS5CADSYS::INSINGAAron K. InsingaTue Sep 29 1987 09:034
18.9blechHITEST::JWILLIAMSTue Sep 29 1987 11:427