Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874598696> ?p ?o ?g. }
- W1874598696 endingPage "200" @default.
- W1874598696 startingPage "183" @default.
- W1874598696 abstract "This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with efficient constraint propagation techniques is an adequate programming environment for complex real world problems like high level synthesis, simulation, code generation, and memory synthesis. Different types of constraints — Boolean, integer, symbolic, structural, and type binding ones — are used to express relations between the components of a digital circuit and efficient propagation is achieved by the coroutining mechanism. To deal with the increasing complexity of digital circuits we use HDL's (hardware description languages) to represent structure and behaviour of circuits." @default.
- W1874598696 created "2016-06-24" @default.
- W1874598696 creator A5007685131 @default.
- W1874598696 creator A5024078005 @default.
- W1874598696 creator A5080112684 @default.
- W1874598696 date "2005-11-23" @default.
- W1874598696 modified "2023-09-24" @default.
- W1874598696 title "Application of constraint logic programming for VLSI CAD tools" @default.
- W1874598696 cites W1976669836 @default.
- W1874598696 cites W2032132610 @default.
- W1874598696 cites W2036800932 @default.
- W1874598696 cites W2085891301 @default.
- W1874598696 cites W2132258839 @default.
- W1874598696 cites W2134354173 @default.
- W1874598696 cites W2157554674 @default.
- W1874598696 cites W2294693415 @default.
- W1874598696 cites W4232714327 @default.
- W1874598696 cites W4238717491 @default.
- W1874598696 cites W4245411879 @default.
- W1874598696 doi "https://doi.org/10.1007/bfb0016853" @default.
- W1874598696 hasPublicationYear "2005" @default.
- W1874598696 type Work @default.
- W1874598696 sameAs 1874598696 @default.
- W1874598696 citedByCount "7" @default.
- W1874598696 crossrefType "book-chapter" @default.
- W1874598696 hasAuthorship W1874598696A5007685131 @default.
- W1874598696 hasAuthorship W1874598696A5024078005 @default.
- W1874598696 hasAuthorship W1874598696A5080112684 @default.
- W1874598696 hasBestOaLocation W18745986962 @default.
- W1874598696 hasConcept C11413529 @default.
- W1874598696 hasConcept C119599485 @default.
- W1874598696 hasConcept C126255220 @default.
- W1874598696 hasConcept C127413603 @default.
- W1874598696 hasConcept C128838566 @default.
- W1874598696 hasConcept C131017901 @default.
- W1874598696 hasConcept C134146338 @default.
- W1874598696 hasConcept C137631369 @default.
- W1874598696 hasConcept C154945302 @default.
- W1874598696 hasConcept C157922185 @default.
- W1874598696 hasConcept C173404611 @default.
- W1874598696 hasConcept C176783269 @default.
- W1874598696 hasConcept C199360897 @default.
- W1874598696 hasConcept C204306468 @default.
- W1874598696 hasConcept C2524010 @default.
- W1874598696 hasConcept C2776036281 @default.
- W1874598696 hasConcept C28449271 @default.
- W1874598696 hasConcept C33923547 @default.
- W1874598696 hasConcept C34165917 @default.
- W1874598696 hasConcept C34854456 @default.
- W1874598696 hasConcept C41008148 @default.
- W1874598696 hasConcept C44616089 @default.
- W1874598696 hasConcept C49937458 @default.
- W1874598696 hasConcept C50033165 @default.
- W1874598696 hasConcept C56086750 @default.
- W1874598696 hasConcept C80444323 @default.
- W1874598696 hasConcept C81843906 @default.
- W1874598696 hasConcept C96315309 @default.
- W1874598696 hasConceptScore W1874598696C11413529 @default.
- W1874598696 hasConceptScore W1874598696C119599485 @default.
- W1874598696 hasConceptScore W1874598696C126255220 @default.
- W1874598696 hasConceptScore W1874598696C127413603 @default.
- W1874598696 hasConceptScore W1874598696C128838566 @default.
- W1874598696 hasConceptScore W1874598696C131017901 @default.
- W1874598696 hasConceptScore W1874598696C134146338 @default.
- W1874598696 hasConceptScore W1874598696C137631369 @default.
- W1874598696 hasConceptScore W1874598696C154945302 @default.
- W1874598696 hasConceptScore W1874598696C157922185 @default.
- W1874598696 hasConceptScore W1874598696C173404611 @default.
- W1874598696 hasConceptScore W1874598696C176783269 @default.
- W1874598696 hasConceptScore W1874598696C199360897 @default.
- W1874598696 hasConceptScore W1874598696C204306468 @default.
- W1874598696 hasConceptScore W1874598696C2524010 @default.
- W1874598696 hasConceptScore W1874598696C2776036281 @default.
- W1874598696 hasConceptScore W1874598696C28449271 @default.
- W1874598696 hasConceptScore W1874598696C33923547 @default.
- W1874598696 hasConceptScore W1874598696C34165917 @default.
- W1874598696 hasConceptScore W1874598696C34854456 @default.
- W1874598696 hasConceptScore W1874598696C41008148 @default.
- W1874598696 hasConceptScore W1874598696C44616089 @default.
- W1874598696 hasConceptScore W1874598696C49937458 @default.
- W1874598696 hasConceptScore W1874598696C50033165 @default.
- W1874598696 hasConceptScore W1874598696C56086750 @default.
- W1874598696 hasConceptScore W1874598696C80444323 @default.
- W1874598696 hasConceptScore W1874598696C81843906 @default.
- W1874598696 hasConceptScore W1874598696C96315309 @default.
- W1874598696 hasLocation W18745986961 @default.
- W1874598696 hasLocation W18745986962 @default.
- W1874598696 hasOpenAccess W1874598696 @default.
- W1874598696 hasPrimaryLocation W18745986961 @default.
- W1874598696 hasRelatedWork W107908000 @default.
- W1874598696 hasRelatedWork W1565602876 @default.
- W1874598696 hasRelatedWork W1588797702 @default.
- W1874598696 hasRelatedWork W1823075265 @default.
- W1874598696 hasRelatedWork W2022905090 @default.
- W1874598696 hasRelatedWork W2026396874 @default.
- W1874598696 hasRelatedWork W2036800932 @default.
- W1874598696 hasRelatedWork W2042187020 @default.
- W1874598696 hasRelatedWork W2102051998 @default.