Merge pull request #908 from antmicro/fix-bram-timing-fuzzer

007-timing: added missing aliases for bram timing
This commit is contained in:
Alessandro Comodi 2019-06-26 13:00:20 +02:00 committed by GitHub
commit ca6bbee193
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 32 additions and 0 deletions

View File

@ -12,6 +12,22 @@
}
},
"rambfifo36e1" : {
"REGCEAREGCEL" : {
"names" : ["regceal"],
"is_property_related" : false
},
"REGCEAREGCEU" : {
"names" : ["regceau"],
"is_property_related" : false
},
"RSTREGARSTREGL" : {
"names" : ["rstregal"],
"is_property_related" : false
},
"RSTREGARSTREGU" : {
"names" : ["rstregau"],
"is_property_related" : false
},
"RSTRAMARSTRAMLRST" : {
"names" : ["rstramarstl"],
"is_property_related" : false
@ -55,6 +71,22 @@
"DOPBDOP0" : {
"names" : ["dopbdopl", "dopbdopu"],
"is_property_related" : false
},
"DIADI0" : {
"names" : ["diadil", "diadiu"],
"is_property_related" : false
},
"DIBDI0" : {
"names" : ["dibdil", "dibdiu"],
"is_property_related" : false
},
"DIPADIP0" : {
"names" : ["dipadipl", "dipadipu"],
"is_property_related" : false
},
"DIPBDIP0" : {
"names" : ["dipbdipl", "dipbdipu"],
"is_property_related" : false
}
}
}