-- File: [Indigo]<Sakura>Dragon>Dragon6.config
-- This is two processors and two caches simulation
--

Dragon6: CONFIGURATION
  IMPORTS ConvertUnsafe, Inline, SakuraRT, SimIO
  CONTROL DragonImpl1 = {
  
  p1: DragonProcessor ← DragonProcessorImpl6[c1, SakuraRT, SimIO];
  
  p2: DragonProcessor ← DragonProcessorImpl7[c2, SakuraRT, SimIO];
  
  DragonImpl1[DragonArbiter1, c1, c2, DragonClock, DragonMap, DragonMemory, p1, 
    p2, SakuraRT, SimIO];
  
  c1: DragonCache ← DragonCacheImpl[ConvertUnsafe, Inline, SakuraRT, SimIO];
  
  c2: DragonCache ← DragonCacheImpl1[ConvertUnsafe, Inline, SakuraRT, SimIO];
  
  DragonArbiterImpl1;
  
  DragonMapImpl;
  
  DragonMemoryImpl1;
  
  DragonClockImpl;
  
}.