FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143301601> ?p ?o ?g. }

• W2143301601 abstract "Analog circuit design and verification face significant challenges due to circuit complexity and short market windows. In particular, the influence of technology parameters on circuits, noise modeling and verification still remain a priority for many applications. Noise couldbe due to unwanted interaction between the various circuit blocks or it could be inherited from the circuit elements. Current industrial designs rely heavily on simulation techniques, but ensuring the correctness of such designs under all circumstances usually becomes impracticallyexpensive. In this PhD thesis, we propose a methodology for modeling and verification of analog designs in the presence of noise and process variation using run-time verification methods. Verification based on run-time techniques employs logical or statistical monitors to check if an execution (simulation) of the design model violates the designspecifications (properties). In order to study the random behavior of noise, we propose an approach based on modeling the designs using stochastic differential equations (SDE) in the time domain. Then, we define assertion and statistical verification methods in a MATLAB SDE simulation framework for monitoring properties of interest in order to detect errors.In order to overcome some of the drawbacks associated with monitoring techniques, wedefine a pattern matching based verification method for qualitative estimation of the simulationtraces. We illustrate the efficiency of the proposed methods on different benchmarkcircuits." @default.
• W2143301601 created "2016-06-24" @default.
• W2143301601 creator A5051569720 @default.
• W2143301601 date "2012-04-16" @default.
• W2143301601 modified "2023-09-27" @default.
• W2143301601 title "A Framework for Noise Analysis and Verification of Analog Circuits" @default.
• W2143301601 cites W146784561 @default.
• W2143301601 cites W1484098281 @default.
• W2143301601 cites W1489725951 @default.
• W2143301601 cites W1495851026 @default.
• W2143301601 cites W1498125516 @default.
• W2143301601 cites W1500373038 @default.
• W2143301601 cites W1507722534 @default.
• W2143301601 cites W1509866077 @default.
• W2143301601 cites W1516256348 @default.
• W2143301601 cites W1522694098 @default.
• W2143301601 cites W1528241393 @default.
• W2143301601 cites W1537946603 @default.
• W2143301601 cites W1540325964 @default.
• W2143301601 cites W1543281322 @default.
• W2143301601 cites W1547304883 @default.
• W2143301601 cites W1558853558 @default.
• W2143301601 cites W1559793414 @default.
• W2143301601 cites W1560013842 @default.
• W2143301601 cites W1569991298 @default.
• W2143301601 cites W1575104486 @default.
• W2143301601 cites W1582385421 @default.
• W2143301601 cites W1583869287 @default.
• W2143301601 cites W1586383189 @default.
• W2143301601 cites W1586698348 @default.
• W2143301601 cites W1594101521 @default.
• W2143301601 cites W1597832877 @default.
• W2143301601 cites W1651707596 @default.
• W2143301601 cites W1658809881 @default.
• W2143301601 cites W1826753560 @default.
• W2143301601 cites W1884784351 @default.
• W2143301601 cites W1913327598 @default.
• W2143301601 cites W1914674302 @default.
• W2143301601 cites W1969743183 @default.
• W2143301601 cites W1972427123 @default.
• W2143301601 cites W1975446127 @default.
• W2143301601 cites W1981492171 @default.
• W2143301601 cites W1987184084 @default.
• W2143301601 cites W1996535435 @default.
• W2143301601 cites W2015479478 @default.
• W2143301601 cites W2033874189 @default.
• W2143301601 cites W2038462420 @default.
• W2143301601 cites W2041458402 @default.
• W2143301601 cites W2045638068 @default.
• W2143301601 cites W2054258232 @default.
• W2143301601 cites W2062328787 @default.
• W2143301601 cites W2079621390 @default.
• W2143301601 cites W2087224560 @default.
• W2143301601 cites W2092539663 @default.
• W2143301601 cites W2096133083 @default.
• W2143301601 cites W2097268763 @default.
• W2143301601 cites W2097451232 @default.
• W2143301601 cites W2097916567 @default.
• W2143301601 cites W2097938943 @default.
• W2143301601 cites W2101187147 @default.
• W2143301601 cites W2103018069 @default.
• W2143301601 cites W2103404462 @default.
• W2143301601 cites W2104499761 @default.
• W2143301601 cites W2104520397 @default.
• W2143301601 cites W2105579345 @default.
• W2143301601 cites W2111079473 @default.
• W2143301601 cites W2111525157 @default.
• W2143301601 cites W2115161547 @default.
• W2143301601 cites W2116358561 @default.
• W2143301601 cites W2118565267 @default.
• W2143301601 cites W2119123494 @default.
• W2143301601 cites W2122799822 @default.
• W2143301601 cites W2126790057 @default.
• W2143301601 cites W2126903321 @default.
• W2143301601 cites W2128160875 @default.
• W2143301601 cites W2129189285 @default.
• W2143301601 cites W2130758723 @default.
• W2143301601 cites W2131441094 @default.
• W2143301601 cites W2133231501 @default.
• W2143301601 cites W2134451579 @default.
• W2143301601 cites W2139403746 @default.
• W2143301601 cites W2142091551 @default.
• W2143301601 cites W2144275718 @default.
• W2143301601 cites W2145667804 @default.
• W2143301601 cites W2146230886 @default.
• W2143301601 cites W2149814360 @default.
• W2143301601 cites W2151452185 @default.
• W2143301601 cites W2155393733 @default.
• W2143301601 cites W2157658705 @default.
• W2143301601 cites W2157710741 @default.
• W2143301601 cites W2164887032 @default.
• W2143301601 cites W2166648660 @default.
• W2143301601 cites W2167915846 @default.
• W2143301601 cites W2169058231 @default.
• W2143301601 cites W2169433383 @default.
• W2143301601 cites W2169555606 @default.
• W2143301601 cites W2170316986 @default.
• W2143301601 cites W2171886546 @default.
• W2143301601 cites W2420649395 @default.
• W2143301601 cites W2491680125 @default.

• next