URL
https://opencores.org/ocsvn/sdhc-sc-core/sdhc-sc-core/trunk
Show entire file |
Details |
Blame |
View Log
Rev 130 |
Rev 185 |
?rev1line? |
?rev2line? |
|
-- 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);
|
|
}
|
|
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.