{"id":"https://openalex.org/W2143301601","doi":null,"title":"A Framework for Noise Analysis and Verification of Analog Circuits","display_name":"A Framework for Noise Analysis and Verification of Analog Circuits","publication_year":2012,"publication_date":"2012-04-16","ids":{"openalex":"https://openalex.org/W2143301601","mag":"2143301601"},"language":"en","primary_location":{"id":"pmh:oai:https://spectrum.library.concordia.ca:973941","doi":null,"is_oa":true,"landing_page_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","pdf_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","source":{"id":"https://openalex.org/S4306400871","display_name":"Spectrum Research Repository (Concordia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60158472","host_organization_name":"Concordia University","host_organization_lineage":["https://openalex.org/I60158472"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051569720","display_name":"Rajeev Narayanan","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rajeev Narayanan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5051569720"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8252000212669373,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8252000212669373,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.12489999830722809,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.018200000748038292,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/analog-circuit-verification","display_name":"analog circuit verification","score":0.890999972820282},{"id":"https://openalex.org/keywords/noise-modeling","display_name":"noise modeling","score":0.6629999876022339},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"runtime verification","score":0.8190000057220459},{"id":"https://openalex.org/keywords/stochastic-differential-equations","display_name":"stochastic differential equations","score":0.8259999752044678},{"id":"https://openalex.org/keywords/process-variation","display_name":"process variation","score":0.8450000286102295},{"id":"https://openalex.org/keywords/statistical-validation","display_name":"statistical validation","score":0.8629999756813049},{"id":"https://openalex.org/keywords/assertion-based-verification","display_name":"assertion-based verification","score":0.7289999723434448},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"pattern matching","score":0.8429999947547913},{"id":"https://openalex.org/keywords/simulation-traces","display_name":"simulation traces","score":0.5239999890327454}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7382568717002869},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7161864042282104},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.5908787846565247},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5579937100410461},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.555263102054596},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5099586248397827},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4922720491886139},{"id":"https://openalex.org/C2779229675","wikidata":"https://www.wikidata.org/wiki/Q445235","display_name":"Time to market","level":2,"score":0.47337907552719116},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.4246100187301636},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3584263026714325},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3481632173061371},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14510896801948547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1371784210205078},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1313713788986206},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:https://spectrum.library.concordia.ca:973941","doi":null,"is_oa":true,"landing_page_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","pdf_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","source":{"id":"https://openalex.org/S4306400871","display_name":"Spectrum Research Repository (Concordia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60158472","host_organization_name":"Concordia University","host_organization_lineage":["https://openalex.org/I60158472"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"mag:2143301601","doi":null,"is_oa":false,"landing_page_url":"http://hvg.ece.concordia.ca/Publications/Thesis/Rajeev-Thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:https://spectrum.library.concordia.ca:973941","doi":null,"is_oa":true,"landing_page_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","pdf_url":"https://spectrum.library.concordia.ca/973941/1/Thesis_Final.pdf","source":{"id":"https://openalex.org/S4306400871","display_name":"Spectrum Research Repository (Concordia University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60158472","host_organization_name":"Concordia University","host_organization_lineage":["https://openalex.org/I60158472"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2143301601.pdf","grobid_xml":"https://content.openalex.org/works/W2143301601.grobid-xml"},"referenced_works_count":112,"referenced_works":["https://openalex.org/W37827039","https://openalex.org/W59413458","https://openalex.org/W146784561","https://openalex.org/W407097379","https://openalex.org/W567973435","https://openalex.org/W584093027","https://openalex.org/W632933265","https://openalex.org/W654634886","https://openalex.org/W656635897","https://openalex.org/W1479678754","https://openalex.org/W1484098281","https://openalex.org/W1489725951","https://openalex.org/W1495851026","https://openalex.org/W1498125516","https://openalex.org/W1500373038","https://openalex.org/W1507722534","https://openalex.org/W1516256348","https://openalex.org/W1522694098","https://openalex.org/W1528241393","https://openalex.org/W1537946603","https://openalex.org/W1540325964","https://openalex.org/W1543281322","https://openalex.org/W1547304883","https://openalex.org/W1558853558","https://openalex.org/W1559793414","https://openalex.org/W1560013842","https://openalex.org/W1569991298","https://openalex.org/W1575104486","https://openalex.org/W1582385421","https://openalex.org/W1583869287","https://openalex.org/W1586383189","https://openalex.org/W1586698348","https://openalex.org/W1594101521","https://openalex.org/W1597832877","https://openalex.org/W1651707596","https://openalex.org/W1658809881","https://openalex.org/W1826753560","https://openalex.org/W1884784351","https://openalex.org/W1913327598","https://openalex.org/W1914674302","https://openalex.org/W1969743183","https://openalex.org/W1972427123","https://openalex.org/W1975446127","https://openalex.org/W1981492171","https://openalex.org/W1987184084","https://openalex.org/W1996535435","https://openalex.org/W2015479478","https://openalex.org/W2033874189","https://openalex.org/W2038462420","https://openalex.org/W2041458402","https://openalex.org/W2045638068","https://openalex.org/W2054258232","https://openalex.org/W2062328787","https://openalex.org/W2079621390","https://openalex.org/W2087224560","https://openalex.org/W2092539663","https://openalex.org/W2096133083","https://openalex.org/W2097268763","https://openalex.org/W2097451232","https://openalex.org/W2097916567","https://openalex.org/W2097938943","https://openalex.org/W2101187147","https://openalex.org/W2103018069","https://openalex.org/W2103404462","https://openalex.org/W2104499761","https://openalex.org/W2104520397","https://openalex.org/W2105579345","https://openalex.org/W2111079473","https://openalex.org/W2111525157","https://openalex.org/W2115161547","https://openalex.org/W2116358561","https://openalex.org/W2118565267","https://openalex.org/W2119123494","https://openalex.org/W2122799822","https://openalex.org/W2126790057","https://openalex.org/W2126903321","https://openalex.org/W2128160875","https://openalex.org/W2129189285","https://openalex.org/W2130758723","https://openalex.org/W2131441094","https://openalex.org/W2133231501","https://openalex.org/W2134451579","https://openalex.org/W2139403746","https://openalex.org/W2142091551","https://openalex.org/W2144275718","https://openalex.org/W2145667804","https://openalex.org/W2146230886","https://openalex.org/W2149814360","https://openalex.org/W2151452185","https://openalex.org/W2155393733","https://openalex.org/W2157658705","https://openalex.org/W2157710741","https://openalex.org/W2164887032","https://openalex.org/W2166648660","https://openalex.org/W2167915846","https://openalex.org/W2169058231","https://openalex.org/W2169433383","https://openalex.org/W2169555606","https://openalex.org/W2170316986","https://openalex.org/W2171886546","https://openalex.org/W2491680125","https://openalex.org/W2506077266","https://openalex.org/W2537194321","https://openalex.org/W2542016836","https://openalex.org/W2548727379","https://openalex.org/W2583833536","https://openalex.org/W2683349557","https://openalex.org/W2751555667","https://openalex.org/W2913459036","https://openalex.org/W2913760422","https://openalex.org/W2999069274","https://openalex.org/W3145128584"],"related_works":["https://openalex.org/W7096973111","https://openalex.org/W2124558097","https://openalex.org/W1969236585","https://openalex.org/W7100270846","https://openalex.org/W7100808237","https://openalex.org/W2167640923","https://openalex.org/W3143982981","https://openalex.org/W7099945432","https://openalex.org/W2125102200","https://openalex.org/W3147832535"],"abstract_inverted_index":{"Analog":[0],"circuit":[1,10,46,55],"design":[2,124,128],"and":[3,12,27,89,99,162],"verification":[4,28,90,104,164,200],"face":[5],"significant":[6],"challenges":[7],"due":[8,39],"to":[9,40,116,133,179,184],"complexity":[11],"short":[13],"market":[14],"windows.":[15],"In":[16,79,131],"particular,":[17],"the":[18,44,54,67,95,123,127,135,147,155,188,206,211,214],"influence":[19],"of":[20,69,91,97,122,138,175,187,205,213],"technology":[21],"parameters":[22],"on":[23,62,108,145,217],"circuits,":[24],"noise":[25,98],"modeling":[26,88,146],"still":[29],"remain":[30],"a":[31,85,167,196],"priority":[32],"for":[33,87,172,202],"many":[34],"applications.":[35],"Noise":[36],"could":[37,50],"\\nbe":[38],"unwanted":[41],"interaction":[42],"between":[43],"various":[45],"blocks":[47],"or":[48,113],"it":[49],"be":[51],"inherited":[52],"from":[53],"elements.":[56],"Current":[57],"industrial":[58],"designs":[59,71,93,148],"rely":[60],"heavily":[61],"simulation":[63,170,207],"techniques,":[64,193],"but":[65],"ensuring":[66],"correctness":[68],"such":[70],"under":[72],"all":[73],"circumstances":[74],"usually":[75],"becomes":[76],"impractically":[77],"\\nexpensive.":[78],"this":[80],"PhD":[81],"thesis,":[82],"we":[83,140,159,194],"propose":[84,141],"methodology":[86],"analog":[92],"in":[94,154,166,177],"presence":[96],"process":[100],"variation":[101],"using":[102,149],"run-time":[103,109],"methods.":[105],"Verification":[106],"based":[107,144,199],"techniques":[110],"employs":[111],"logical":[112],"statistical":[114,163],"monitors":[115],"check":[117],"if":[118],"an":[119,142],"execution":[120],"(simulation)":[121],"model":[125],"violates":[126],"\\nspecifications":[129],"(properties).":[130],"order":[132,178,183],"study":[134],"random":[136],"behavior":[137],"noise,":[139],"approach":[143],"stochastic":[150],"differential":[151],"equations":[152],"(SDE)":[153],"time":[156],"domain.":[157],"Then,":[158],"define":[160],"assertion":[161],"methods":[165,216],"MATLAB":[168],"SDE":[169],"framework":[171],"monitoring":[173,192],"properties":[174],"interest":[176],"detect":[180],"errors.":[181],"\\nIn":[182],"overcome":[185],"some":[186],"drawbacks":[189],"associated":[190],"with":[191],"\\ndefine":[195],"pattern":[197],"matching":[198],"method":[201],"qualitative":[203],"estimation":[204],"\\ntraces.":[208],"We":[209],"illustrate":[210],"efficiency":[212],"proposed":[215],"different":[218],"benchmark":[219],"\\ncircuits.":[220]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}