{"identifier":"nobleid:/w1/20260521/1CABDFAC","arkIdentifier":"ark:/48914/w1/20260521/1CABDFAC","version":1,"workTitle":"Observable time windows: verifying high-level synthesis results","workType":"Journal Article","authors":"Reinaldo A. Bergamaschi, S. Raje","description":null,"workUrl":null,"existingDoi":"10.1109/54.587740","createdAt":"2026-05-21T16:44:52.541793Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/1CABDFAC.v1"}