Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Boosting the Bounds of Symbolic QED for Effective Pre-Silicon
  Verification of Processor Cores   Existing techniques to ensure functional correctness and hardware trust
during pre-silicon verification face severe limitations. In this work, we
systematically leverage two key ideas: 1) Symbolic Quick Error Detection
(Symbolic QED or SQED), a recent bug detection and localization technique using
Bounded Model Checking (BMC); and 2) Symbolic starting states, to present a
method that: i) Effectively detects both "difficult" logic bugs and Hardware
Trojans, even with long activation sequences where traditional BMC techniques
fail; and ii) Does not need skilled manual guidance for writing testbenches,
writing design-specific assertions, or debugging spurious counter-examples.
Using open-source RISC-V cores, we demonstrate the following: 1. Quick (<5
minutes for an in-order scalar core and <2.5 hours for an out-of-order
superscalar core) detection of 100% of hundreds of logic bug and hardware
Trojan scenarios from commercial chips and research literature, and 97.9% of
"extremal" bugs (randomly-generated bugs requiring ~100,000 activation
instructions taken from random test programs). 2. Quick (~1 minute) detection
of several previously unknown bugs in open-source RISC-V designs.

35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
32
The categories of this paper are: atom-ph
17
The categories of this paper are: q-fin
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
24
The categories of this paper are: dg-ga