diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-01-14 16:12:38 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-01-14 16:12:38 +0000 |
| commit | b91543cdbab6b676261458418e8e3b2e18d70010 (patch) | |
| tree | bf7c4097323f36c49d9b6b14fa17e60a73a8db16 /scripts | |
| parent | fa72b7f4ab3f9f3da6dbb683db5eb8396dfab9a4 (diff) | |
| download | fccm22_rsvhls-b91543cdbab6b676261458418e8e3b2e18d70010.tar.gz fccm22_rsvhls-b91543cdbab6b676261458418e8e3b2e18d70010.zip | |
Add partial graph
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/gen-data.rkt | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/scripts/gen-data.rkt b/scripts/gen-data.rkt index 072af6d..0410bc6 100644 --- a/scripts/gen-data.rkt +++ b/scripts/gen-data.rkt @@ -27,6 +27,9 @@ (define (get-row lst n) (map (lambda (x) (string->number (nth x n))) lst)) +(define (get-row-string lst n) + (map (lambda (x) (nth x n)) lst)) + (define (get-slice lst) (get-row lst 2)) (define (get-delay lst) (get-row lst 9)) (define (get-cycles lst) (get-row lst 10)) @@ -52,18 +55,20 @@ (define time-ratio (open-output-file "./data/time-ratio.csv")) (display (table->string - (cons '("vericert" "vericert-fun") (for/list - ([i time-ratio-vericert-full-inlining] + (cons '("benchmark" "vericert" "vericert-fun") (for/list + ([b (get-row-string bambu-results 0)] + [i time-ratio-vericert-full-inlining] [j time-ratio-vericert-fun]) - (list i j)))) + (list b i j)))) time-ratio) (close-output-port time-ratio) (define slice-ratio (open-output-file "./data/slice-ratio.csv")) (display (table->string - (cons '("vericert" "vericert-fun") (for/list - ([i slice-ratio-vericert-full-inlining] + (cons '("benchmark" "vericert" "vericert-fun") (for/list + ([b (get-row-string bambu-results 0)] + [i slice-ratio-vericert-full-inlining] [j slice-ratio-vericert-fun]) - (list i j)))) + (list b i j)))) slice-ratio) (close-output-port slice-ratio) |