Automated Design Space Exploration with Aspen

Listing 3

Aspen core model with static and dynamic costs.

(1) core snbCore {

(2)

(3)   resource flops(number) [number / snbIssue ]

(4)    // Traits

(5)    with dp [base   2],

(6)     // Optional Trait Argument

(7)     simd(width) [base / min(width, snbSIMDWidth)],

(8)     fmad [base / 2]

(9)    // Per-resource, per-core dynamic power

(10)  dynamic power [ (tdp - snbIdlePower) / snbNumCores ]

(11)

(12) resource intops(number) [ number / snbIssue ]

(13)  dynamic power [ (intMaxPower - snbIdlePower) /  snbNumCores ]

(14)

(15) resource aesops(number) [ number / snbIssue ]

(16)  dynamic power [ (aesMaxPower - snbIdlePower) /  snbNumCores ]

(17)

(18) conflict (flops, intops, aesops)

(19)

(20) // Shared static power cost

(21) static power [ snbIdlePower ]

(22)  }