application of constraint logic programming for vlsi cad toolsnew

《application of constraint logic programming for vlsi cad toolsnew》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、ApplicationofConstraintLogicProgrammingforVLSICADToolsRenateBeckmann,UlrichBiekerandIngolfMarkhofUniversityofDortmundDepartmentofComputerScienceD-44221Dortmund,GermanyFAX:+49231755-6116beckmann@ls12.informatik.uni-dortmund.de/+49231755-6124bieker@ls12.informatik.uni-dortmund.de/+49231755-61

2、13markhof@ls12.informatik.uni-dortmund.de/+49231755-6142Abstract:ThispaperdescribestheapplicationofCLP(constraintlogicprogram-ming)toseveraldigitalcircuitdesignproblems.Itisshownthatlogicprogrammingtogetherwithefficientconstraintpropagationtechniquesisanadequateprogrammingenvironmentforcompl

3、exrealworldproblemslikehighlevelsynthesis,simulation,codegeneration,andmemorysynthesis.Differenttypesofconstraints-Boolean,integer,symbolic,structural,andtypebindingones-areusedtoexpressrelationsbetweenthecomponentsofadigitalcircuitandefficientpropagationisachievedbythecoroutiningmechanism.T

4、odealwiththeincreasingcomplexityofdigitalcircuitsweuseHDL’s(hardwaredescriptionlanguages)torepresentstructureandbehaviourofcircuits.IIssuesThispaperdescribesthesuccessfuluseoflogicprogrammingextendedbyconstraintstosolvecomplexrealworldproblemsintheareaofdigitalcircuitdesign:highlevelsynthe-

5、sis,simulation,codegeneration,andmemorysynthesis.Insteadofothersystemsinthisareaoursareabletoworkonahighlevelofabstractionandtodealwithhardwaredescrip-tionlanguages(HDLs).IIResultsIthasbeenshownthatlogicprogrammingextendedbyconstraintsisanadequatemecha-nismtosolveproblemsintheareaofdigitalc

6、ircuitdesign.Workingsystemsforsynthesis,simulation,test,codegeneration,andmemorysynthesishavebeenimplementedinECLIPSE[5].Boolean,linear,structural,andtypebindingconstraintsareusedtorestrictthedesignspace.SounneccessarybacktrackingasperformedinPROLOGcouldbeavoided.Usingthecombinationoflogicc

7、omputationandconstraintsleadstonewcon-ceptstosolvethesekindsofproblems.Someexamplesofeffectiveconstraintsaregiven.Resultsareconsideredinthecontextofruntime,lengthofcode,anddesignspacerestric-tion.IIISignificanceandRelevancetotheConferenceAnimportantaspect