Verification of Embedded Memory Systems using Efficient Memory Modeling
Keyword(s):
2001 ◽
Vol 50
(11)
◽
pp. 1234-1247
◽
2016 ◽
Vol 9
(1)
◽
pp. 445-458
◽