{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:14:38Z","timestamp":1725574478697},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201021"},{"type":"electronic","value":"9783540398158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39815-8_2","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T14:49:51Z","timestamp":1294411791000},"page":"18-36","source":"Crossref","is-referenced-by-count":1,"title":["TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses"],"prefix":"10.1007","author":[{"given":"Daniel","family":"K\u00e4stner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"AbsInt Angewandte Informatik GmbH. aiPop166. Code Compaction for the C166\/ST10. User Documentation \u2013 Version 1.0 (2000), http:\/\/www.absint.com"},{"key":"2_CR2","unstructured":"Analog Devices. ADSP-2106x SHARC User\u2019s Manual (1995)"},{"issue":"1","key":"2_CR3","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/TC.1981.6312154","volume":"C-30","author":"M. Barbacci","year":"1981","unstructured":"Barbacci, M.: Instruction Set Processor Specifications (ISPS): The Notation and Its Applications. IEEE Transactions on Computers\u00a0C-30(1), 24\u201340 (1981)","journal-title":"IEEE Transactions on Computers"},{"key":"2_CR4","unstructured":"Bodin, F., Chamski, Z., Rohou, E., Seznec, A.: Functional Specification of SALTO: A Retargetable System for Assembly Language Transformation and Optimization, rev. 1.00 beta. INRIA (1997)"},{"key":"2_CR5","unstructured":"Bradlee, D.: Retargetable Instruction Scheduling for Pipelined Processors. Phd thesis, Technical Report 91-08-07, University of Washington (1991)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Bradlee, D., Henry, R., Eggers, S.: The Marion System for Retargetable Instruction Scheduling. In: Proceedings of the PLDI, pp. 229\u2013240 (1991)","DOI":"10.1145\/113445.113465"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","first-page":"172","volume-title":"Languages, Compilers, and Tools for Embedded Systems","author":"J. Davidson","year":"1998","unstructured":"Davidson, J., Ramsey, N.: Machine Descriptions to Build Tools for Embedded Systems. In: M\u00fcller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol.\u00a01474, pp. 172\u2013188. Springer, Heidelberg (1998)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1109\/EDTC.1995.470354","volume-title":"Proceedings of the European Design and Test Conference","author":"A. Fauth","year":"1995","unstructured":"Fauth, A., Van Praet, J., Freericks, M.: Describing Instruction Set Processors Using nML. In: Proceedings of the European Design and Test Conference, pp. 503\u2013507. IEEE, Los Alamitos (1995)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Grun, P., Halambi, A., Khare, A., Ganesh, V., Dutt, N., Nicolau, A.: EXPRESSION: An ADL for System Level Design Exploration. Technical Report 1998-29, University of California, Irvine (1998)","DOI":"10.1145\/307418.307549"},{"key":"2_CR10","unstructured":"Hadjiyiannis, G.: ISDL: Instruction Set Description Language Version 1.0. Technical report, MIT RLE (April 1998)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Halambi, A., Grun, P., Ganesh, V., Khare, A., Dutt, N., Nicolau, A.: EXPRESSION: A Language for Architecture Exploration through Compiler\/Simulator Retargetability. In: Proceedings of the DATE 1999 (1999)","DOI":"10.1145\/307418.307549"},{"key":"2_CR12","volume-title":"Proceedings of the Design Automation Conference 1998","author":"S. Hanono","year":"1998","unstructured":"Hanono, S., Devadas, S.: Instruction Scheduling, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator. In: Proceedings of the Design Automation Conference 1998, San Francisco, California. ACM, New York (1998)"},{"key":"2_CR13","unstructured":"ILOG S.A. ILOG CPLEX 6.5. User\u2019s Manual (1999)"},{"key":"2_CR14","unstructured":"Infineon. TriCore v1.3. Architecture Manual (2000), http:\/\/www.infineon.com"},{"key":"2_CR15","unstructured":"K\u00e4stner, D.: TDL: A Hardware and Assembly Description Language. Technical Report TDL1.3, Transferbereich 14, Saarland University (1999)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D.: PROPAN: A Retargetable System for Postpass Optimisations and Analyses. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (June 2000)","DOI":"10.1007\/3-540-45245-1_5"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D.: Retargetable Code Optimisation by Integer Linear Programming. PhD thesis, Saarland University (2000)","DOI":"10.1007\/978-3-540-49051-7_9"},{"key":"2_CR18","unstructured":"K\u00e4stner, D.: ILP-based Approximations for Retargetable Code Optimization. In: International Conference on Optimization: Techniques and Applications (ICOTA 2001) (2001)"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-49051-7_9","volume-title":"Compiler Construction","author":"D. K\u00e4stner","year":"1999","unstructured":"K\u00e4stner, D., Langenbach, M.: Code Optimization by Integer Linear Programming. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol.\u00a01575, pp. 122\u2013136. Springer, Heidelberg (1999)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., Wilhelm, S.: Generic Control Flow Reconstruction from Assembly Code. In: Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2002) and Software and Compilers for Embedded Systems (SCOPES 2002) (June 2002)","DOI":"10.1145\/513837.513839"},{"key":"2_CR21","first-page":"85","volume-title":"[25]","author":"D. Lanneer","year":"1995","unstructured":"Lanneer, D., Van Praet, J., Kifli, A., Schoofs, K., Geurts, W., Thoen, F., Goossens, G.: CHESS: Retargetable Code Generation For Embedded DSP Processors. In: [25], pp. 85\u2013102. Kluwer, Dordrecht (1995)"},{"key":"2_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2570-4","volume-title":"Retargetable Code Generation for Digital Signal Processors","author":"R. Leupers","year":"1997","unstructured":"Leupers, R.: Retargetable Code Generation for Digital Signal Processors. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"2_CR23","volume-title":"VHDL: Hardware Description and Design","author":"R. Lipsett","year":"1993","unstructured":"Lipsett, R., Schaefer, C., Ussery, C.: VHDL: Hardware Description and Design, 12th edn. Kluwer Academic Publishers, Dordrecht (1993)","edition":"12"},{"key":"2_CR24","unstructured":"Martin, F.: Generation of Program Analyzers. PhD thesis, Saarland University (1999)"},{"key":"2_CR25","volume-title":"Code Generation for Embedded Processors","author":"P. Marwedel","year":"1995","unstructured":"Marwedel, P., Goossens, G.: Code Generation for Embedded Processors. Kluwer, Boston (1995)"},{"key":"2_CR26","unstructured":"Motorola Inc.: MCF5307 ColdFire Integrated Microprocessor User\u2019s Manual, MCF5307UM\/D, Rev. 2.0 (Aug. 2000)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Nowak, L.: Graph Based Retargetable Microcode Compilation in the MIMOLA Design System. In: 20th Annual Workshop on Microprogramming, pp. 126\u2013132 (1987)","DOI":"10.1145\/255305.255329"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Pees, S., Hoffmann, A., Zivojnovic, V., Meyr, H.: LISA: Machine Description Language for Cycle-Accurate Models of Programmable DSP Architectures. In: Proceedings of the Design Automation Conference (1999)","DOI":"10.1145\/309847.310101"},{"key":"2_CR29","unstructured":"Philips Electronics North America Corporation. TriMedia TM1000 Preliminary Data Book (1997)"},{"issue":"3","key":"2_CR30","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N. Ramsey","year":"1997","unstructured":"Ramsey, N., Fernandez, M.: Specifying Representations of Machine Instructions. ACM Transactions on Programming Languages and Systems\u00a019(3), 492\u2013524 (1997)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR31","unstructured":"Siemens. C165\/C163 User\u2019s Manual 10.96 Version 2.0. Siemens AG (1996), http:\/\/www.infineon.com"},{"key":"2_CR32","unstructured":"SPAM Research Group.: SPAM Compiler User\u2019s Manual (September 1997), http:\/\/www.ee.princeton.edu\/spam"},{"key":"2_CR33","unstructured":"Texas Instruments. TMS320C62xx Programmer\u2019s Guide (1997)"},{"key":"2_CR34","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2365-6","volume-title":"The Verilog Hardware Description Language","author":"D. Thomas","year":"1995","unstructured":"Thomas, D., Moorby, P.: The Verilog Hardware Description Language, 2nd edn. Kluwer Academic Publishers, Dordrecht (1995)","edition":"2"},{"key":"2_CR35","volume-title":"Compiler Design","author":"R. Wilhelm","year":"1995","unstructured":"Wilhelm, R., Maurer, D.: Compiler Design. Addison-Wesley, Reading (1995)"},{"key":"2_CR36","unstructured":"Zivojnovic, V., Velarde, J., Schl\u00e4ger, C., Meyr, H.: DSPSTONE: A DSP-Oriented Benchmarking Methodology. In: Proceedings of the International Conference on Signal Processing Applications and Technology (1994)"}],"container-title":["Lecture Notes in Computer Science","Generative Programming and Component Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39815-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:32:41Z","timestamp":1637116361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39815-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201021","9783540398158"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39815-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}