diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index d8fe256..633bbea 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -5,6 +5,7 @@
   VERILATOR_VERSION: 4.028
   VERILATOR_PATH: /opt/buildcache/verilator/$(VERILATOR_VERSION)
   TOOLCHAIN_PATH: /opt/buildcache/riscv
+  VERIBLE_VERSION: v0.0-469-gb458ff6
   # Release tag from https://github.com/lowRISC/lowrisc-toolchains/releases
   # if you update this, update the definition in util/container/Dockerfile
   TOOLCHAIN_VERSION: 20200626-1
@@ -35,6 +36,15 @@
     displayName: Remove existing Clang installation
   - template: ci/install-package-dependencies.yml
   - bash: |
+      set -e
+      mkdir -p build/verible
+      cd build/verible
+      curl -Ls -o verible.tar.gz https://github.com/google/verible/releases/download/$(VERIBLE_VERSION)/verible-$(VERIBLE_VERSION)-Ubuntu-16.04-xenial-x86_64.tar.gz
+      sudo mkdir -p /tools/verible && sudo chmod 777 /tools/verible
+      tar -C /tools/verible -xf verible.tar.gz --strip-components=1
+      echo "##vso[task.setvariable variable=PATH]/tools/verible/bin:$PATH"
+    displayName: Install Verible
+  - bash: |
       python3 --version
       yapf --version
       isort --version
@@ -113,6 +123,16 @@
     condition: eq(variables['Build.Reason'], 'PullRequest')
     displayName: Check formatting on header guards
   - bash: |
+      util/dvsim/dvsim.py hw/top_earlgrey/lint/top_earlgrey_lint_cfgs.hjson \
+        --tool=veriblelint
+      if [ $? != 0 ]; then
+        echo -n "##vso[task.logissue type=error]"
+        echo "Verilog style lint with Verible failed. Run 'util/dvsim/dvsim.py -t veriblelint hw/top_earlgrey/lint/top_earlgrey_lint_cfgs.hjson' to check and fix all errors."
+        exit 1
+      fi
+    condition: eq(variables['Build.Reason'], 'PullRequest')
+    displayName: Style-Lint Verilog source files with Verible
+  - bash: |
       commit_range="$(git merge-base --fork-point origin/master)..HEAD"
       # Notes:
       # * Merge commits are not checked. We always use rebases instead of