Skip to search formSkip to main contentSkip to account menu

Uclid

UCLID (/ˈjuːklɪd/, the same as "Euclid") is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite-state… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
First-order logicMicroprocessorMicrosoft ResearchModel checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Formal Verification of Pipelined Y 86-64 Microprocessors with U CLID 5
This work reports on the verification of a complex instruction set computer (CISC) processor, named Y86-64, styled after the… 
2015
2015
UPF-based formal verification of low power techniques in modern processors
Ensuring from the correctness of system on a chip (SoC) designs after the insertion of high level power management strategies… 
2013
2013
Typical tropospheric aerosol backscatter profiles for Southern Ireland: The Cork Raman lidar
Review
2012
Review
2012
Testing gravity and dark energy with gravitational lensing
Forthcoming wide field weak lensing surveys, such as DES and Euclid, present the possibility of using lensing as a tool for… 
2008
2008
Compositional encoding for bounded model checking
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models… 
2005
2005
CEGAR-Based Formal Hardware Verification : A Case Study
We describe the application of the Reveal formal functional verification system to six representative hardware test cases. Reveal… 
2005
2005
A computationally ef~cient method based on commitment re~nement maps for verifying pipelined machines.
We introduce a new method of automating the verification of term-level pipelined machine models that is based on commitment… 
2004
2004
Vapor User Guide (v0.95)
The device for driving tongue and groove flooring panels into a mated or seated position for installation on floor joist has a… 
2004
2004
System modeling and verification with UCLID
Formal verification has had a significant impact on the semiconductor industry, particularly for companies that can devote… 
2003
2003
Comparing Techniques for Out-of-Order Processor Verification in UCLID
In this paper, we show the verification of out-of-order proce ssors in a tool called UCLID. The processor is modeled using th e… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)