Analog property checkers: a DDR2 case study

Kevin D. Jones, Victor Konrad, Dejan Ničković^*

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	114-130
Number of pages	0
Journal	Formal Methods in System Design
Volume	36
Issue number	2
Early online date	2 Oct 2009
DOIs	https://doi.org/10.1007/s10703-009-0085-x
Publication status	Published - Jun 2010
Externally published	Yes

Access to Document

@article{4d47257d272a43fc9ec3d4febd45bc99,

title = "Analog property checkers: a DDR2 case study",

author = "Jones, {Kevin D.} and Victor Konrad and Dejan Ni{\v c}kovi{\'c}",

year = "2010",

month = jun,

doi = "10.1007/s10703-009-0085-x",

language = "English",

volume = "36",

pages = "114--130",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "2",

}