{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:32Z","timestamp":1725664952641},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617303"},{"type":"electronic","value":"9783540706700"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61730-2_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:15:31Z","timestamp":1330294531000},"page":"176-184","source":"Crossref","is-referenced-by-count":9,"title":["The Trianus system and its application to custom computing"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Gehring","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Ludwig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"S. Gehring, S. Ludwig, N. Wirth. A Laboratory for a Digital Design Course Using FPGAs. Proc. of the 4th International Workshop on Field-Programmable Logic and Applications. Springer, 1994.","DOI":"10.1007\/3-540-58419-6_123"},{"key":"18_CR2","unstructured":"Xilinx. XC6200 FPGA Family. Advance Product Description, 1995."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"S. Ludwig. The Design of a Coprocessor Board Using Xilinx's XC6200 FPGA \u2014 An Experience Report. Proc. of the 6th International Workshop on Field-Programmable Logic and Applications. Springer, 1996.","DOI":"10.1007\/3-540-61730-2_8"},{"key":"18_CR4","unstructured":"Atmel. Configurable Logic: Design & Application Book, 1995."},{"key":"18_CR5","unstructured":"N. Wirth. Digital Circuit Design. An Introductory Textbook. Springer, 1995."},{"issue":"6","key":"18_CR6","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R. E. Bryant","year":"1986","unstructured":"R. E. Bryant. Graph-Based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35, 6 (Aug.), pp. 677\u2013691 (1986).","journal-title":"IEEE Transactions on Computers"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R. E. Bryant","year":"1992","unstructured":"R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams. ACM Computing Surveys, Vol. 24, 293\u2013318 (1992).","journal-title":"ACM Computing Surveys"},{"key":"18_CR8","unstructured":"C. Pfister. CALLAS: A Physical Design Framework for Configurable Array Logic. Diss. Nr. 9940. ETH Z\u00fcrich, 1992."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"L. M. Monier, J. Dion. Recursive Layout Generation. Proc. of the 16th Conference on Advanced Research in VLSI. IEEE Computer Society Press, March, 1995.","DOI":"10.1109\/ARVLSI.1995.515619"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"S. Kirkpatrick, C. D. Gelatt, Jr., M. P. Vecci. Optimization by Simulated Annealing. Science, Vol. 220, May, 1993.","DOI":"10.1126\/science.220.4598.671"},{"key":"18_CR11","unstructured":"D. E. Goldberg. Genetic Algorithms, Addison-Wesley, 1989."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"B. Kernighan, S. Lin. An Efficient Heuristic Procedure for Partitioning Graphs. Bell System Technical Journal, Vol. 49, February, 1970.","DOI":"10.1002\/j.1538-7305.1970.tb01770.x"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"C. M. Fiduccia, R. M. Mattheyses. A Linear Time Heuristic for Improving Network Partitions. Proc. of the 19th Design Automation Conference, 1982.","DOI":"10.1109\/DAC.1982.1585498"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"C. Y. Lee. An Algorithm for Path Connections and its Applications. IRE Trans. Electronic Computer, Vol. EC-10. September 1961.","DOI":"10.1109\/TEC.1961.5219222"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"B. Liskov, L. Shrira, Promises: Linguistic Support for Efficient Asynchronous Procedure Calls in Distributed Systems. Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation. ACM SIGPLAN Notices 23 (7), 1988.","DOI":"10.1145\/960116.54016"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic Smart Applications, New Paradigms and Compilers"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61730-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:56:24Z","timestamp":1640948184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61730-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617303","9783540706700"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-61730-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}