{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:37:22Z","timestamp":1725493042761},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678991"},{"type":"electronic","value":"9783540446149"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44614-1_15","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T17:25:22Z","timestamp":1192901122000},"page":"141-150","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Dynamically Reconfigurable Logic"],"prefix":"10.1007","author":[{"given":"David","family":"Robinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Lysaght","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,12]]},"reference":[{"key":"15_CR1","unstructured":"Avant! Corporation, \u201cFormal Techniques Help Shoulder the Verification Burden\u201d Electronics Journal Technical, Aug. 1998 http:\/\/www.avanticorp.com\/Avant!\/EJ\/Technical\/Articles\/Item\/0,1058,88,00.html"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"B. L. Hutchings, \u201cExploiting Reconfigurability Through Domian-Specific Systems\u201d, in Field-Programmable Logic and Applications, W. Luk, P.Y.K Cheung and M. Glesner (editors), pp. 193\u2013202, London, England, Sept 1997","DOI":"10.1007\/3-540-63465-7_224"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"D. Robinson, G. McGregor and P. Lysaght, \u201cNew CAD Framework Extends Simulation of Dynamically Reconfigurable Logic\u201d, in Field Programmable Logic and Applications, R. Hartenstein and A. Keevallik (Eds.), pp 1\u20138, Tallinn, Estonia, Sept. 1998","DOI":"10.1007\/BFb0055227"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1109\/92.532038","volume":"4","author":"P. Lysaght","year":"1996","unstructured":"P. Lysaght and J. Stockwood, \u201cA Simulation Tool for Dynamically Reconfigurable Field Programmable Gate Arrays\u201d, in IEEE Transactions on VLSI Systems, Vol. 4, No. 3, pp. 381\u2013390, 1996","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"D. Robinson and P. Lysaght, \u201cModelling and Synthesis of Configuration Controllers for Dynamically Reconfigurable Logic Systems using the DCS CAD Framework\u201d, in Field Programmable Logic and Applications, P. Lysaght, J. Irvine and R. Hartenstein (Eds.), pp 41\u201350, Glasgow, Scotland, Aug. 1999","DOI":"10.1007\/978-3-540-48302-1_5"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"W. Luk, N. Shirazi and P.Y.K. Cheung, \u201cModelling and Optimising Run-time Reconfigurable Systems\u201d, in IEEE Symposium on Field Programmable Custom Computing Machines, K. L. Pocek and J. Arnold (Eds.), pp. 167\u2013176., Los Alamitos, California, USA, April 1996","DOI":"10.1109\/FPGA.1996.564815"},{"key":"15_CR7","unstructured":"D. Gibson, M. Vasilko and D. Long, \u201cVirtual Prototyping for Dynamically Reconfigurable Architectures using Dynamic Generic Mapping\u201d, in Proceedings of VIUF Fall\u2019 98, Orlando, Florida, USA, Oct. 1998"},{"key":"15_CR8","unstructured":"M. Vasilko and D. Cabanis, \u201cA Technique for Modelling Dynamic Reconfiguration with Improved Simulation Accuracy\u201d, in IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Nov. 1999"},{"key":"15_CR9","unstructured":"Gordon Brebner, \u201cCHASTE: a Hardware\/Software Co-design Testbed for the Xilinx XC6200\u201d, in Reconfigurable Architectures Workshop, R. W. Hartenstein and V. K. Prasanna (Eds.), Geneva, Switzerland, April 1997"},{"key":"15_CR10","unstructured":"K. W. Susanto and T. Melham, \u201cFormally Analysed Dynamic Synthesis of Hardware\u201d, in Theorem Proving in Higher Order Logics: Emerging Trends: 11th International Conference (TPHOLs\u201998), Canberra, Australia, Sept. 1998"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications: The Roadmap to Reconfigurable Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44614-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:06:10Z","timestamp":1556921170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44614-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678991","9783540446149"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-44614-1_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}