5 papers:
CAV-2012-Moskal #bound #c #infinity #verification- From C to Infinity and Back: Unbounded Auto-active Verification with VCC (MM), p. 6.
DAC-2011-ChoiYLA #behaviour #fault #performance- Matching cache access behavior and bit error pattern for high performance low Vcc L1 cache (YGC, SY, SL, JHA), pp. 978–983.
HPCA-2010-AbellaCVCG- High-Performance low-vcc in-order core (JA, PC, XV, JC, AG), pp. 1–11.
FM-2009-LeinenbachS #verification- Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.
DATE-2002-CaiGKO #design #top-down #using- Top-Down System Level Design Methodology Using SpecC, VCC and SystemC (LC, DG, PK, MO), p. 1137.
