{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T16:17:59Z","timestamp":1738340279694,"version":"3.35.0"},"publisher-location":"Dordrecht","reference-count":15,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402087387"},{"type":"electronic","value":"9781402087394"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8739-4_84","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T08:52:47Z","timestamp":1219135967000},"page":"473-478","source":"Crossref","is-referenced-by-count":1,"title":["ASM++ diagrams used on teaching electronic design"],"prefix":"10.1007","author":[{"given":"S.","family":"de Pablo","sequence":"first","affiliation":[]},{"given":"S.","family":"C\u00e1ceres","sequence":"additional","affiliation":[]},{"given":"J.A.","family":"Cebri\u00e1n","sequence":"additional","affiliation":[]},{"given":"M.","family":"Berrocal","sequence":"additional","affiliation":[]},{"given":"F.","family":"Sanz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"84_CR1","unstructured":"C.R. Clare, Designing Logic Using State Machines, McGraw-Hill, 1973. Referenced by [2]."},{"key":"84_CR2","unstructured":"S. Leibson, \u201cThe NMOS II Hybrid Microprocessor: Fusing silicon, ceramic, and aluminum with rubber baby buggy bumpers\u201d, online at http:\/\/www.hp9825.com\/html\/hybrid_microprocessor.html , reviewed on March 2007."},{"issue":"1","key":"84_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/3468.995536","volume":"32","author":"V.R.L. Shen","year":"2002","unstructured":"V.R.L. Shen and F. Lai, \u201cRequirements Specification and Analysis of Digital Systems Using Fuzzy and Marked Petri Nets\u201d, IEEE Transactions on Systems, Man and Cybernetics, Vol. 32, No. 1, pp. 149-159, January 2002.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"84_CR4","volume-title":"Principles of Digital Design","author":"D.D. Gajski","year":"1997","unstructured":"D.D. Gajski, Principles of Digital Design, Prentice Hall, Upper Saddle River, NJ, 1997."},{"issue":"1","key":"84_CR5","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/5326.661092","volume":"28","author":"A.T. Bahill","year":"1998","unstructured":"A.T. Bahill et al., \u201cThe design-methods comparison project\u201d, IEEE Transactions on Systems, Man and Cybernetics, Vol. 28, No. 1, pp. 80-103, February 1998.","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"key":"84_CR6","doi-asserted-by":"crossref","unstructured":"S. Baranov, \u201cSynthesis of control units for mobile robots\u201d, Second EUROMICRO workshop on Advanced Mobile Robots, pp. 80-86, 1997.","DOI":"10.1109\/EURBOT.1997.633581"},{"key":"84_CR7","doi-asserted-by":"crossref","unstructured":"W.F. Lee et al., \u201cAn ASM-based ASIC for automobile accelerometer applications\u201d, First IEEE Asia Pacific Conference on ASICs, pp. 127-130, 1999.","DOI":"10.1109\/APASIC.1999.824044"},{"issue":"3","key":"84_CR8","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/13.618030","volume":"40","author":"M.S. Nixon","year":"1997","unstructured":"M.S. Nixon, \u201cOn a Programmable Approach to Introducing Digital Design\u201d, IEEE Trans. on Education, Vol. 40, No. 3, pp. 195-206, August 1997.","journal-title":"IEEE Trans. on Education"},{"key":"84_CR9","doi-asserted-by":"crossref","unstructured":"J.P. David and E. Bergeron, \u201cA Step towards Intelligent Translation from High-Level Design to RTL\u201d, Proceedings of 4th IEEE International Workshop on System-on-Chip for Real-Time Applications, pp. 183-188, 2004.","DOI":"10.1109\/IWSOC.2004.1319875"},{"key":"84_CR10","doi-asserted-by":"crossref","unstructured":"E. Ogoubi and J.P. David, \u201cAutomatic synthesis from high level ASM to VHDL: a case study\u201d, 2nd Annual IEEE Northeast Workshop on Circuits and Systems, pp. 81-84, 2004.","DOI":"10.1109\/NEWCAS.2004.1359023"},{"key":"84_CR11","doi-asserted-by":"crossref","unstructured":"E. Bergeron, X. Saint-Mleux, M. Feeley, and J.P. David, \u201cHigh Level Synthesis for Data-Driven Applications\u201d, 16th IEEE International Workshop on Rapid System Prototyping, pp. 54-60, 2005.","DOI":"10.1109\/RSP.2005.26"},{"key":"84_CR12","doi-asserted-by":"crossref","unstructured":"S. de Pablo, S. C\u00e1ceres, J.A. Cebri\u00e1n, and M. Berrocal, \u201cA proposal for ASM++ diagrams\u201d,10th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, Krakow, Poland, 2007.","DOI":"10.1109\/DDECS.2007.4295265"},{"key":"84_CR13","unstructured":"S. de Pablo, S. C\u00e1ceres, J.A. Cebri\u00e1n, and M. Berrocal, \u201cApplication of ASM++ methodology on the design of a DSP processor\u201d, 4th FPGAworld Conference, Stockholm, Sweden, 2007."},{"key":"84_CR14","doi-asserted-by":"crossref","unstructured":"M. Chang, \u201cTeaching Top-down Design Using VHDL and CPLD\u201d, IEEE FIE\u201996 Proceedings, pp. 514-517, 1996.","DOI":"10.1109\/FIE.1996.572899"},{"key":"84_CR15","doi-asserted-by":"crossref","unstructured":"T.A. Giuma, D. Welch, and K. MacDonald, \u201cComputer-Aided-Design Platform For Sequential Systems\u201d,IEEE Southeastcon\u201997 Proceedings, pp. 79-81, 1997.","DOI":"10.1109\/SECON.1997.598614"}],"container-title":["Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8739-4_84.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T15:32:34Z","timestamp":1738337554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8739-4_84"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402087387","9781402087394"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8739-4_84","relation":{},"subject":[]}}