Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
verification scalability
biblio
Input Elimination Transformations for Scalable Verification and Trace Reconstruction
Submitted by aekwall on Mon, 03/16/2020 - 9:38am
2QBF variant
verification scalability
verification complexity
trace reconstruction
scalable verification
netlist transformations
merging
input reparameterization
input elimination transformations
fast- lossy preprocess
Cost accounting
connectivity verification
Resiliency
model checking
formal verification
Registers
Compositionality
Predictive Metrics
Scalability
Logic gates
Complexity theory
computational complexity
pubcrawl
biblio
Fractal++: Closing the performance gap between fractal and conventional coherence
Submitted by BrandonB on Wed, 05/06/2015 - 1:43pm
performance scalability
multicores
observational equivalence
optimization
parallel invalidations
parallel processing
partially-serial-invalidations
performance gap
performance optimizations
Multicore processing
protocol optimizations
Protocols
reply-forwarding
Scalability
single-socket system
state explosion
verification scalability
verification-constrained architectures
formal verification
cache coherence protocol bugs
cache storage
Coherence
coherence verification approaches
contention-hints
decoupled-replies
directory protocols
Erbium
32-core simulations
four-socket system
fractal coherence
fractal protocols
Fractal++
Fractals
fully-parallel-fractal-invalidations
indirect-communication
longer-latency multisocket system
