Subversion Repositories sdhc-sc-core

 -- PSL assertions for SdClockMaster

vunit vSdClockMaster(SdClockMaster) {
  default clock is (iClk'event and iClk='1');

  -- strobe at least one clock cycle before falling edge
  assert always ({oSdStrobe} |=> {not oSdStrobe; (not oSdStrobe and oSdCardClk)[*]; not oSdCardClk}) abort iRstSync;

  -- check oSdCardClk
  -- assert always (not oSdCardClk -> eventually! oSdCardClk) abort iDisable;
  assert always (not oSdCardClk -> { (not oSdCardClk)[*]; oSdCardClk}) abort iDisable;

  -- check disable
  assert always ({iDisable} |=> not oSdStrobe);
}