{"entities":{"Q479839":{"pageid":481606,"ns":120,"title":"Item:Q479839","lastrevid":77684354,"modified":"2026-05-06T09:50:02Z","type":"item","id":"Q479839","labels":{"en":{"language":"en","value":"Verifying global start-up for a M\u00f6bius ring-oscillator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377625"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$D78535F4-63F5-4732-9AB0-7A86104CC783","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1384a404b81e3fc829735e7f3b74260b2b3f32f0","datavalue":{"value":{"text":"Verifying global start-up for a M\u00f6bius ring-oscillator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q479839$B3F45701-FFE0-44DD-8CC2-3C9C9A44E4A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d5f8220d0aae458c767fde5f8dac6590b6a23e2","datavalue":{"value":"1309.94195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$9E8D6C54-1105-4901-AC34-417C3C4B0FFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"046db9e842ef237cb9e9480c9f1ee81923dccedd","datavalue":{"value":{"entity-type":"item","numeric-id":315047,"id":"Q315047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$137F20F5-1F31-4ED2-8FA4-2C98D644950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e531022a890ff698e0b1823a8a7836a70cca6012","datavalue":{"value":{"entity-type":"item","numeric-id":225069,"id":"Q225069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$97A3706B-19A0-4D0B-8F13-E1C147C7A01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0646dd0fdb66141ade486d626a9c361ccc5de226","datavalue":{"value":{"entity-type":"item","numeric-id":479838,"id":"Q479838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$9DC3750D-1466-4062-8A39-444F5BEB8350","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$B0AAF197-61A6-4E19-8760-D2719B7D3849","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q479839$505630AF-057F-42ED-B0BF-F783DCA10056","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3450a3cefc1bb031dd63b3469255b94dd9ce84f0","datavalue":{"value":"An efficient algorithm for finding DC equilibria and a formal verification solution for this problem are introduced by the three authors in this paper. More specifically, it is shown that any oscillator have a zero-probability non-empty sets of states for which it fails to start properly. The premise for this statement is a result developed in this paper, a generalization of Michell and Greenstreet's ``cone argument'' [Proceedings of the third workshop on designing correct circuits, 1996, B\u00e5stad, Sweden]. The results are used to analyze a differential ring-oscillator circuit used in industrial designs and show that with probability 1 a commonly used differential ring-oscillator circuit correctly starts oscillations. Unlike classical approach used in practice for the analog design problem -- simulation using various specialized tools, which might lead to long required time -- the theoretical approach allows a more extended treatment of this issue. It is shown how reachability analysis can be combined with dynamical system analysis. The authors initially leverage their presentation on various assumptions, which in section 3.3 are then discussed and removed. The theoretical results are finally experimentally validated, with HSPICE simulations and Matlab scripts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q479839$BE71DACE-CBBC-4D92-A6E4-3DBC09B87BDA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2054ab6afcff86345461ab192c34bfbef6c7b38d","datavalue":{"value":{"entity-type":"item","numeric-id":261055,"id":"Q261055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$4060C072-2495-4776-90D3-9F2288FF9F44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2d65091154bcdcd55b19c17aadaa169aee2e3523","datavalue":{"value":"94C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$8CAA136A-5EDA-4BD1-AC56-C9E98A8F12E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$46FD16B2-6D0F-4033-BF72-2AC3688AA848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$9CD9BED7-994A-4E2C-8ADF-4074A50BE3FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8e911500ec9b23073f41b4213f647a53f11baff","datavalue":{"value":"6377625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$66E08CC3-7C1C-4640-9705-464F21FE40B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dab074438338ee706c965f4b173d534114ad08c","datavalue":{"value":"oscillator","type":"string"},"datatype":"string"},"type":"statement","id":"Q479839$1920C13C-6B00-4CFF-AF7D-DFC98FFA7E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cedb220a47f6cafc2f2b5fa711d1ddf0f6ecc6c","datavalue":{"value":"metastability","type":"string"},"datatype":"string"},"type":"statement","id":"Q479839$48B46260-4043-40B0-AE0B-91B485A634FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q479839$4A5FD9FC-B30C-4073-9FCF-7E9935175D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07fa119cc1815dcc0cb6aa4d31b143b84f12b0a","datavalue":{"value":"analog verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q479839$D67ACE3D-356B-46E9-AA9E-0D475FE9E05B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$B53E995A-37BC-4FDD-A140-DCF7DF04A282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$84F0243A-F168-4828-A9A6-8836E2919EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$4E89256F-D200-46EE-9180-4621B0765081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$F8AD2483-756D-4397-993E-EC068C83011B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"22fc318c6c2e42dbf1c86e8b56323826ebc2c596","datavalue":{"value":{"entity-type":"item","numeric-id":14528,"id":"Q14528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$74DAF685-3968-4805-AA61-3F217D91B111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c11db2caa14b234f17beb9207eb3c1410d0f5a2d","datavalue":{"value":{"entity-type":"item","numeric-id":23759,"id":"Q23759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$5C03E806-4A95-4C7C-B8DC-2ABD277C379E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd2724f6e8447a24419ed553b7520f7a96db016","datavalue":{"value":{"entity-type":"item","numeric-id":16194,"id":"Q16194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$BE22F736-C119-4DE6-A004-B9ABD849AA66","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$F896CB1D-56E3-461E-81ED-25B64949ACB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fec631fab9945e73a8c3a2108345a3fc6b6b4c9e","datavalue":{"value":"https://doi.org/10.1007/s10703-013-0204-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q479839$7759E81C-3448-4546-9E4B-9E9AAECE4E3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d74a1dd3cfdfc09bcb7d7a57f5eed395b9a6dcd8","datavalue":{"value":"W2050180686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$EF481E2C-DFCA-4D46-AE18-3D83A9F5C9D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f51123d4849920c0bd477136f67ae685bea6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4821526,"id":"Q4821526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$A360BEEC-60AB-4968-9902-8E1E9430F6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a462f97a14149f26095e85bb29dcdaa29aa187a","datavalue":{"value":{"entity-type":"item","numeric-id":4949347,"id":"Q4949347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$8FC88C0E-F3C0-4C9C-BEA3-FA88FEDE5ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf5667edd20bf607f41849b86ac22a0984c3e35","datavalue":{"value":{"entity-type":"item","numeric-id":883144,"id":"Q883144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$35206A4F-6BD4-4EE5-A82A-D16116684AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf16720b7d0b21f96024599d01fa01e2893ec80","datavalue":{"value":{"entity-type":"item","numeric-id":5703927,"id":"Q5703927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$BECB6A11-6775-4B66-B8EC-4EA017BC5AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$A1EE0575-A578-49A5-B11F-9413FC85D8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203208d3c4dca69eae211f51967f56d96fdfe465","datavalue":{"value":{"entity-type":"item","numeric-id":4067388,"id":"Q4067388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$885B726E-6735-46A3-B10C-305FE3E0EE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f646342823069d9bf888488cf5680b13ceeb69","datavalue":{"value":{"entity-type":"item","numeric-id":2781467,"id":"Q2781467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$65BEE9DD-E6F6-4353-BB84-3706C94E8865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d264aac9fcdf9e07e4782ed996eb2cb9fafca4","datavalue":{"value":{"entity-type":"item","numeric-id":819154,"id":"Q819154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q479839$B5F9C335-6C31-4140-82A4-6E7A0262D258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"886e9eb6a1add3d717cd89f095f6ce04ed85d1cf","datavalue":{"value":"10.1007/S10703-013-0204-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q479839$90885558-3908-44C1-85D5-03CEDDC53767","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd213bd03bea293b2fa9344aa9147d0c71dcfc9","datavalue":{"value":{"entity-type":"item","numeric-id":5137874,"id":"Q5137874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fabceab4ee68a0446f75e92cfca73ff821fe84","datavalue":{"value":{"amount":"+0.76684433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$EFBA8252-569B-4DFA-A562-812C7937B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8c0e046d1e63a5fbce67b969d738dffc7149f7","datavalue":{"value":{"entity-type":"item","numeric-id":1284118,"id":"Q1284118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e141ac2caae6799950240be33da93c2facf98aa","datavalue":{"value":{"amount":"+0.7554518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$B7037372-8398-46F2-9F76-4ED558823E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db04795d831e15b837d7cac6938f6800ac043fb","datavalue":{"value":{"entity-type":"item","numeric-id":5010740,"id":"Q5010740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a472c7830bbd648f5f2473028c21ca653ecbda35","datavalue":{"value":{"amount":"+0.75230587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$263AF598-B115-4183-88B6-C9C465DA3992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c496f56515944c2f85358eddcf7e37c0b8f7efeb","datavalue":{"value":{"entity-type":"item","numeric-id":4346650,"id":"Q4346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e075a1aa8ee1db4b7773702e74e3ad2a1d61ecfe","datavalue":{"value":{"amount":"+0.74903536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$5FE42CFB-57C6-48C4-8324-E38F9CD13F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3df048b39a970d413a2d7107228da7bc9d66f5a","datavalue":{"value":{"entity-type":"item","numeric-id":2328228,"id":"Q2328228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20df9afee5d2026b7bf130e98c684b6c8334bc83","datavalue":{"value":{"amount":"+0.74526113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$42A21830-574C-4AB7-B20B-27962C0936F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3db37a87cb4eb189dff288d876ecfeb5b87a58","datavalue":{"value":{"entity-type":"item","numeric-id":3070596,"id":"Q3070596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a44c647f2de5b2c86f2a46b067740f7ec607997","datavalue":{"value":{"amount":"+0.744845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$CCC0AF0A-2E4B-4C6C-96B8-18D7F18F0EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9dd1d470dd316a2b3a589c30afe5c5a5f47d090","datavalue":{"value":{"entity-type":"item","numeric-id":4972154,"id":"Q4972154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f486e1b95dad69077a4d492a338745e07ffd7d","datavalue":{"value":{"amount":"+0.74404705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q479839$53A509D0-7E47-495C-966C-7938BE0FE155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying global start-up for a M\u00f6bius ring-oscillator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_global_start-up_for_a_M%C3%B6bius_ring-oscillator"}}}}}