Limits on Microsemantics
Limits on Microsemantics
Can’t design the small-step Sd arbitrarily:
Option #1:
Must give up one (or more) of R, M or CVHDL is RMC
Option #2:
Construct Sd to support all of RMCThen explicitly check for inconsistent programs
EuroVHDL, Sep. 96