{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:12Z","timestamp":1725551712830},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540237389"},{"type":"electronic","value":"9783540304944"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30494-4_2","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T14:42:14Z","timestamp":1277822534000},"page":"6-20","source":"Crossref","is-referenced-by-count":7,"title":["Generating Fast Multipliers Using Clever Circuits"],"prefix":"10.1007","author":[{"given":"Mary","family":"Sheeran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"IEEE Computer Society Workshop on VLSI","author":"H. Al-Twaijry","year":"2000","unstructured":"Al-Twaijry, H., Aloqeely, M.: An algorithmic approach to building datapath multipliers using (3,2) counters. In: IEEE Computer Society Workshop on VLSI. IEEE Press, Los Alamitos (April 2000)"},{"key":"2_CR2","unstructured":"Berg, C., Jacobi, C., Kroening, D.: Formal verification of a basic circuits library. In: IASTED International Conference on Applied Informatics. ACTA Press (2001)"},{"key":"2_CR3","unstructured":"Brock, B., Hunt Jr., W.A.: The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. Formal Methods in System Design\u00a011(1) (1997)"},{"key":"2_CR4","unstructured":"Claessen, K., Sheeran, M.: A Tutorial on Lava: A Hardware Description and Verification System (April 2000), \n                  \n                    http:\/\/www.cs.chalmers.se\/~koen\/Lava\/tutorial.ps"},{"key":"2_CR5","unstructured":"Dadda, L.: Some Schemes for Parallel Adders. Acta Frequenza\u00a034(5) (May 1965)"},{"key":"2_CR6","unstructured":"Eriksson, H.: Efficient Implementation and Analysis of CMOS Arithmetic Circuits. PhD. Thesis, Chalmers University of Technology (December 2003)"},{"key":"2_CR7","unstructured":"Eriksson, H., Larsson-Edefors, P., Marnane, W.P.: A Regular Parallel Multiplier Which Utilizes Multiple Carry-Propagate Adders. In: Int. Symp. on Circuits and Systems (2001)"},{"key":"2_CR8","volume-title":"VLSI 1983","author":"W.K. Luk","year":"1983","unstructured":"Luk, W.K., Vuillemin, J.E.: Recursive Implementation of Optimal Time VLSI Integer Multipliers. In: VLSI 1983. Elsevier Science Publishes B.V, North-Holland (August 1983)"},{"key":"2_CR9","volume-title":"41st Design Automation Conference","author":"F. Mo","year":"2004","unstructured":"Mo, F., Brayton, R.K.: A Timing-Driven Module-Based Chip Design Flow. In: 41st Design Automation Conference. ACM Press, New York (2004)"},{"issue":"8","key":"2_CR10","doi-asserted-by":"crossref","first-page":"940","DOI":"10.1109\/12.156536","volume":"41","author":"Z.-J. Mou","year":"1992","unstructured":"Mou, Z.-J., Jutand, F.: \u201cOverturned-Stairs\u201d Adder Trees and Multiplier Design. IEEE Trans. on Computers\u00a041(8) (August 1992)","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"2_CR11","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1109\/12.485568","volume":"45","author":"V.G. Oklobdzija","year":"1996","unstructured":"Oklobdzija, V.G., Villeger, D., Liu, S.S.: A Method for Speed Optimized Partial Product Reduction and Generation of Fast Parallel Multipliers Using an Algorithmic Approach. IEEE Trans. on Computers\u00a045(3) (March 1996)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-540-39724-3_4","volume-title":"Correct Hardware Design and Verification Methods","author":"M. Sheeran","year":"2003","unstructured":"Sheeran, M.: Finding regularity: describing and analysing circuits that are not quite regular. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 4\u201318. Springer, Heidelberg (2003)"},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1109\/12.660163","volume":"47","author":"P.F. Stelling","year":"1998","unstructured":"Stelling, P.F., Martel, C.U., Oklobdzija, V.G., Ravi, R.: Optimal Circuits for Parallel Multipliers. IEEE Trans. on Computers\u00a047(3) (March 1998)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Um, J., Kim, T.: Synthesis of Arithmetic Circuits Considering Layout Effects. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a022(11) (November 2003)","DOI":"10.1109\/TCAD.2003.818301"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Wallace, C.S.: A suggestion for a fast multiplier. IEEE Trans. on Computers\u00a0EC-13(2) (February 1964)","DOI":"10.1109\/PGEC.1964.263830"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30494-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:26:23Z","timestamp":1558279583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30494-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540237389","9783540304944"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30494-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}