R. Lathrop, R. Hall, G. Duffy, K. Alexander, R. Kirk
{"title":"Advances in functional abstraction from structure","authors":"R. Lathrop, R. Hall, G. Duffy, K. Alexander, R. Kirk","doi":"10.1109/DAC.1988.14847","DOIUrl":null,"url":null,"abstract":"FUNSTRUX has been extended to extract behavioral-level models for a commercial simulator directly from a circuit netlist. Recent advances include a retargetable code generation mechanism, an object-oriented control structure, handling of initialization values, and improved run-time and space requirements of the abstraction process. The authors discuss some of the issues that arise in translating from Lisp to C and from one functional paradigm to another.<<ETX>>","PeriodicalId":230716,"journal":{"name":"25th ACM/IEEE, Design Automation Conference.Proceedings 1988.","volume":"78 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"25th ACM/IEEE, Design Automation Conference.Proceedings 1988.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DAC.1988.14847","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
FUNSTRUX has been extended to extract behavioral-level models for a commercial simulator directly from a circuit netlist. Recent advances include a retargetable code generation mechanism, an object-oriented control structure, handling of initialization values, and improved run-time and space requirements of the abstraction process. The authors discuss some of the issues that arise in translating from Lisp to C and from one functional paradigm to another.<>