np/verilog-playground
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

Compare commits

base: np:37b7a54d3b73eff188a8f0849aa8e3e8209e59b4
Branches Tags
np:main
..
compare: np:ab5db7f6e8a478202c885cdf5dd7b3f44f1a5c0f
Branches Tags
np:main

No commits in common. "37b7a54d3b73eff188a8f0849aa8e3e8209e59b4" and "ab5db7f6e8a478202c885cdf5dd7b3f44f1a5c0f" have entirely different histories.
37b7a54d3b ... ab5db7f6e8

2 changed files with 28 additions and 33 deletions
Show Stats Expand all files Collapse all files

29
_web_server/server/index.html
View File

@ -15,13 +15,7 @@
body { body {
padding: 3px; padding: 3px;
font-family: 'JetBrains Mono', monospace; font-size: 14px;
font-size: 10pt;
}
pre {
font-family: 'JetBrains Mono', monospace;
font-size: 10pt;
} }
#buttons { #buttons {
@ -49,6 +43,11 @@
button span.text { padding: 4px; } button span.text { padding: 4px; }
#text {
font-family: 'JetBrains Mono', monospace;
font-size: inherit;
}
#editor { #editor {
height: 75vh; height: 75vh;
width: 100%; width: 100%;
@ -71,12 +70,6 @@
shape-rendering: crispEdges; shape-rendering: crispEdges;
} }
svg text {
font-family: 'JetBrains Mono', monospace;
font-size: 10pt;
fill: white;
}
svg #wave-signals { svg #wave-signals {
stroke: #00fcff; stroke: #00fcff;
stroke-width: 1; stroke-width: 1;
@ -84,18 +77,20 @@
svg #wave-clock { svg #wave-clock {
stroke: #fffe9a; stroke: #fffe9a;
font-size: 8pt;
stroke-width: 1; stroke-width: 1;
} }
svg #wave-signals text { font-size: 8pt; }
svg #wave-clock text { font-size: 8pt; }
svg #wave-delim { svg #wave-delim {
stroke: #d0d0d0; stroke: #d0d0d0;
stroke-width: 2; stroke-width: 2;
} }
svg text {
font-family: 'JetBrains Mono', monospace;
font-size: 14px;
fill: white;
}
svg #wave-background { fill: #1e2426; } svg #wave-background { fill: #1e2426; }
@media (orientation: landscape) and (not (pointer: coarse)) { @media (orientation: landscape) and (not (pointer: coarse)) {

32
_web_server/server/playground-server.scm
View File

@ -304,10 +304,10 @@
(- x1 x0 (* data-hw 2)) (- x1 x0 (* data-hw 2))
(- y1 y0)) (- y1 y0))
(format-inex "<text x=\"~a\" y=\"~a\">" 0 text-position) (format-inex "<text x=\"~a\" y=\"~a\">" 0 text-position)
(string-upcase (if (or (eq? sig-type 'real)
(if (or (eq? sig-type 'real) (< sig-width 4))
(<= sig-width 4)) value
value (string-upcase
(vcd-binary->hex value #t))) (vcd-binary->hex value #t)))
"</text></svg>")))) "</text></svg>"))))
@ -334,7 +334,7 @@
;;; ;;;
(define* (vcd->svg vcd width #:key (define* (vcd->svg vcd width #:key
(signal-height 15) (signal-height 15)
(signal-text-position 12) (signal-text-position 13)
(margin 5) (margin 5)
(signal-spacing 5) (signal-spacing 5)
(legend-width 100) (legend-width 100)
@ -343,18 +343,19 @@
(let ((tstart (apply min (vcd-timestamps vcd))) (let ((tstart (apply min (vcd-timestamps vcd)))
(tend (apply max (vcd-timestamps vcd))) (tend (apply max (vcd-timestamps vcd)))
(signals (sort (signals (sort
(vcd-signals vcd) (remove
(lambda (sig) (< (length (vcd-signal-scope sig)) 2))
(vcd-signals vcd))
(lambda (a b) (lambda (a b)
(and (not (equal? (vcd-signal-name b) "clock")) (or
(or (and (equal? (vcd-signal-name a) "clock")
(and (equal? (vcd-signal-name a) "clock") (not (equal? (vcd-signal-name b) "clock")))
(not (equal? (vcd-signal-name b) "clock")))
(< (length (vcd-signal-scope a)) (< (length (vcd-signal-scope a))
(length (vcd-signal-scope b))) (length (vcd-signal-scope b)))
(string-ci<? (vcd-signal-name a) (string-ci<? (vcd-signal-name a)
(vcd-signal-name b)))))))) (vcd-signal-name b)))))))
(if (<= tend tstart) (if (<= tend tstart)
'() '()
@ -910,8 +911,7 @@
(let ((canvas-width (let ((canvas-width
(let ((v (assoc "width" query))) (let ((v (assoc "width" query)))
(or (and v (string->number (cadr v))) (and v (string->number (cadr v)) DEFAULT-CANVAS-WIDTH))))
DEFAULT-CANVAS-WIDTH))))
(make-response (make-response
(make-log-html log vcd canvas-width) (make-log-html log vcd canvas-width)
#:content-type 'text/plain))))) #:content-type 'text/plain)))))