38th International Symposium on Multiple Valued Logic (ismvl 2008)最新文献

{"title":"A Qualitative Modal Representation of Quantum Register Transformations","authors":"A. Masini, L. Viganò, M. Zorzi","doi":"10.1109/ISMVL.2008.36","DOIUrl":"https://doi.org/10.1109/ISMVL.2008.36","url":null,"abstract":"We introduce two modal natural deduction systems that are suitable to represent and reason about transformations of quantum registers in an abstract, qualitative, way. Quantum registers represent quantum systems, and can be viewed as the structure of quantum data for quantum operations. Our systems provide a modal framework for reasoning about operations on quantum registers (unitary transformations and measurements) in terms of possible worlds (as abstractions of quantum registers) and accessibility relations between these worlds. We give a Kripke-style semantics that formally describes quantum register transformations, and prove the soundness and completeness of our systems with respect to this semantics.","PeriodicalId":243752,"journal":{"name":"38th International Symposium on Multiple Valued Logic (ismvl 2008)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-02-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125881432","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"EDA to the Rescue of the Silicon Roadmap","authors":"T. Williams","doi":"10.1109/ISQED.2007.67","DOIUrl":"https://doi.org/10.1109/ISQED.2007.67","url":null,"abstract":"Summary form only given. Since the invention of the transistor, new technology nodes have been added approximately every two years. This march of progress has yielded smaller transistors that run about 40% faster with each geometry scaling, fulfilling the promise and industry-defining mantra of \"smaller, faster, cheaper!\". Now, in the realm of 65- and 45-nanometer design and manufacturing, the industry is confronted by multiple complex and stubborn challenges: silicon technology keeps shrinking, but doesn't advance in speed at the same rate. The high-k dielectric announcements have yet to be proven manufacturable, and copper interconnect is already hitting the wall. We are driving to the edge of the silicon roadmap, but there is no viable alternative to CMOS within our reach. Not coincidentally, several companies are announcing their intention to stop internal R&D at the 45 nanometer node and use foundry-supplied processes at 32 nanometers and below. The electronics industry ecosystem is at a fork in the road: those few who can afford it will keep rushing to 45 nanometers and maybe beyond, to 32 and 25 nanometers; the rest will hold at 130 or perhaps 90 nanometers, trying to get the most out of those processes that they can. In both cases it is EDA that will come to the rescue. Advanced EDA provides a competitive advantage at 90 nanometers and above, and is a matter of plain survival at 65 nanometers and below. In 2006 only 10% of IC design starts have been at 90 nanometers and below (source: IBS), but they have generated more than 30% of silicon (source: VLSI Research), and absorbed more than 50% of all the engineering effort (source: SNUG '06). Without EDA, more EDA, or more advanced EDA, when design starts at 90 nanometers and below exceed 30% in 2 years (source: IBS), twice as many engineers will be needed. EDA innovation is the gear that enables design for low power, design for manufacturing and yield (which encompasses design for test), and design for variability. The challenges faced by tools for multiple-valued logic clearly mirror those challenges faced by binary logic EDA tools. EDA is not only the enabler for quality in electronic design; it is truly \"where electronics begins\".","PeriodicalId":243752,"journal":{"name":"38th International Symposium on Multiple Valued Logic (ismvl 2008)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132809362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}