{"type":"ScholarlyArticle","title":"Constraint Posting for Verifying VLSI Circuits","authors":[{"name":"Daniel Weise","slug":"daniel-weise","given":"Daniel","family":"Weise","affiliation":""}],"abstract":"We appl y constraint posting to the problem of reasoning about function from structure . Constraint posting is a technique used by some planners to coordinate decisions . At each decision point constraints are posted that later decisions must obey . We use constraint posting to help verify that a circuit modelled at the analog level will exhibit its intended digital behavior. A circuit 's analog behavior depends not only on the circuit 's structure , but also on how the circuit is used. We post constraints to ensure that a circuit will only be used commensurate with its intended function. This research shows that while there is no ''function from structure ,\" there is function from structure and constraint posting . We have implemented these ideas in program that rapidly verifies large circuits.","doi":null,"url":"https://ijcai.org/proceedings/1989/141","pdf":"https://ijcai.org/proceedings/1989/0141.pdf","markdown":"https://ijcai.org/proceedings/1989/141.md","bibtex":"https://ijcai.org/proceedings/1989/bibtex/141","volume":{"slug":"1989","title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1989","url":"https://ijcai.org/proceedings/1989/","year":1989,"location":"Detroit, Michigan, USA","dates":"August 20-25 1989","editors":"N. S. Sridharan","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Planning, Scheduling, Reasoning About Actions","track":"Planning, Scheduling, Reasoning About Actions","number":141,"pages":{"first":881,"last":885},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}