{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T07:35:22Z","timestamp":1725694522911},"publisher-location":"Boston, MA","reference-count":11,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461346357"},{"type":"electronic","value":"9781441985309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-1-4419-8530-9_37","type":"book-chapter","created":{"date-parts":[[2012,7,28]],"date-time":"2012-07-28T23:10:26Z","timestamp":1343517026000},"page":"461-479","source":"Crossref","is-referenced-by-count":0,"title":["Method and Validation for VHDL Case Statement Optimization"],"prefix":"10.1007","author":[{"given":"V.","family":"Beletskyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Kraska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/43.285254","volume":"13","author":"S Devadas","year":"1994","unstructured":"S. Devadas, S. Malik, K. Keutzer, A. Wang, \u201eEvent Suppression: Improving the Efficiency of timing simulation for synchronous digital circuits\u201d, IEEE Trans. Computer Aided Design, vol. 13, pp. 814\u2013822, June 1994.","journal-title":"IEEE Trans. Computer Aided Design"},{"key":"37_CR2","doi-asserted-by":"publisher","first-page":"1457","DOI":"10.1109\/43.256930","volume":"12","author":"R Razdan","year":"1993","unstructured":"R. Razdan, G. P. Bishoff, E. G. Ulrich, \u201eClock suppression techniques for synchronous circuits\u201d, IEEE Trans. Computer Aided Design, vol. 12, pp. 1457\u20131556, October 1993.","journal-title":"IEEE Trans. Computer Aided Design"},{"key":"37_CR3","unstructured":"V. Beletskyy and K. Kraska, \u201cA package for optimization of behavioral VHDL programs\u201d, in Proceedings of the LASTED International Conference, Applied Informatics, Innsbruck, Austria, February 14-17, 2000, pp. 170\u2013173."},{"key":"37_CR4","unstructured":"IEEE standard VHDL Language Reference Manual. IEEE std. 1076-1993, The Institute of Electrical and Electronic Engineers, Inc., 1994."},{"key":"37_CR5","volume-title":"The Designer\u2019s Guide to VHDL","author":"PJ Ashenden","year":"1996","unstructured":"P.J. Ashenden, \u201cThe Designer\u2019s Guide to VHDL\u201d, Morgan Kaufmann Publishing, San Francisco, 1996."},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"J. F. Allen, \u201cMaintaining knowledge about temporal intervals\u201d, Communications of the ACM, vol. 26, pp. 832\u2013843, November 1983.","journal-title":"Communications of the ACM"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"K. I. Park and K.H. Park, \u201cEvent Suppression by Optimizing VHDL Programs\u201d, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 8,1998.","DOI":"10.1109\/43.712100"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"S. L. Pandey, K. Umamageswaran and P. A. Wilsey, \u201cVHDL Semantics and Validating Transformations\u201d, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. XX, no. Y, 1999.","DOI":"10.1109\/43.771177"},{"key":"37_CR9","unstructured":"\u201cVHDL for the ASIC Synthesizer User Guide\u201d, COMPASS Design Automation, January 1994."},{"key":"37_CR10","unstructured":"V. Beletskyy and K. Kraska, \u201cValidating VHDL behavioral programs optimization methods\u201d, in Proceedings of the ACS\u2019 2000 International Conference, Szczecin, Poland, 2000, pp. 171\u2013179."},{"key":"37_CR11","unstructured":"J. Hartmanis and R. E. Steams, Algebraic Structure Theory of Sequential Machines, Englewood Cliffs, NJ:Prentice-Hall, 1966."}],"container-title":["Advanced Computer Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-8530-9_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:18:51Z","timestamp":1605676731000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-8530-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781461346357","9781441985309"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-8530-9_37","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}