diff options
| author | Peter Marheine <pmarheine@chromium.org> | 2019-11-11 14:31:27 +1100 |
|---|---|---|
| committer | Commit Bot <commit-bot@chromium.org> | 2019-12-10 01:56:14 +0000 |
| commit | 2cb4d29ad22831110d1b5adec820794b6d76fae9 (patch) | |
| tree | cf0261290612b0543ab22e8fca976b84090dde23 /board/kindred | |
| parent | f74ddb9de4f7e29402156904d3f16a8d01fb6df5 (diff) | |
| download | chrome-ec-2cb4d29ad22831110d1b5adec820794b6d76fae9.tar.gz | |
puff: implement PP5000 port power control
The EC watches current limiting on the USB and HDMI ports to keep system
load on the 5V rail within the limits of the regulator. The EC's goal is
to ensure that any single future state change (connecting or
disconnecting a port) doesn't push the 5V rail overcurrent.
Verification is done via symbolic execution with Klee; ensuring that
there exists no state where plugging something into a port with no
further changes would put us over the power budget. Sample verification
output:
> KLEE: Using Z3 solver backend
>
> KLEE: done: total instructions = 4439
> KLEE: done: completed paths = 30
> KLEE: done: generated tests = 30
v2: convert ad-hoc state space exploration for verification to symbolic
execution, allowing port control code to be reused for both.
BUG=b:143190102
TEST=make buildall
BRANCH=none
Change-Id: If06e319c8d38bd11b29a7e69499d40357176a97e
Signed-off-by: Peter Marheine <pmarheine@chromium.org>
Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/platform/ec/+/1911261
Reviewed-by: Andrew McRae <amcrae@chromium.org>
Diffstat (limited to 'board/kindred')
0 files changed, 0 insertions, 0 deletions