Luiz Cláudio Villar dos Santos

◀ ▶ joint publications with Olav P. Henschel

> Home > Persons > Luiz Cláudio Villar dos Santos

Publications

2019
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/GrafHAS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/GrafHAS19
Marleson Graf, Olav P. Henschel, Rafael P. Alevato, Luiz C. V. dos Santos:
Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification. ICCAD 2019: 1-7
2013
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/HenschelS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/HenschelS13
Olav P. Henschel, Luiz C. V. dos Santos:
Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking. ICECS 2013: 843-846
2012
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/date/RamboHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/RamboHS12
Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos:
On ESL verification of memory consistency for system-on-chip multiprocessing. DATE 2012: 9-14
2011
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icecsys/RamboHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icecsys/RamboHS11
Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos:
Automatic generation of memory consistency tests for chip multiprocessing. ICECS 2011: 542-545

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.