{"type":"ScholarlyArticle","title":"Program Transtormations for VLSI","authors":[{"name":"Jack Mostow","slug":"jack-mostow","given":"Jack","family":"Mostow","affiliation":""}],"abstract":"VLSI design can be modelled as a series of transformations leading from a high -level formal specification to a concrete implementation . Automating such transformations offers a way to improve the reliability of the design process while reducing its cost. This paper addresses the portion of the design process that converts abstract algorithms into functional-level circuits (collections of primitive computational elements and their interconnections) . By defining an isomorphism between such circuits and a highly restricted subset of programs. we can apply source-to-source program transformation methodology to the problem of mapping algorithms into circuits. This methodology has been implemented in a system that has successfully rederived much of the design of a published VLSI graphics display processor.","doi":null,"url":"https://ijcai.org/proceedings/1983/9","pdf":"https://ijcai.org/proceedings/1983/0009.pdf","markdown":"https://ijcai.org/proceedings/1983/9.md","bibtex":"https://ijcai.org/proceedings/1983/bibtex/9","volume":{"slug":"1983","title":"Proceedings of the Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1983","url":"https://ijcai.org/proceedings/1983/","year":1983,"location":"Karlsruhe, West Germany","dates":"","editors":"Alan Bundy","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automatic Programming","track":"Automatic Programming","number":9,"pages":{"first":40,"last":42},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}