CUFinder

Carl Seger

Carl Seger

Chalmers tekniska högskola

H-index: 29

Europe-Sweden

About Carl Seger

Carl Seger, With an exceptional h-index of 29 and a recent h-index of 6 (since 2020), a distinguished researcher at Chalmers tekniska högskola, specializes in the field of Formal verification, HW design, Design productivity.

His recent articles reflect a diverse array of research interests and contributions to the field:

Bifröst: Creating Hardware With Building Blocks

Formal Verification of Complex Data Paths: An Industrial Experience

Cephalopode: A custom processor aimed at functional language execution for IoT devices

Stately: An FSM design tool

Carl Seger Information

University

Position

WASP Professor at

Citations(all)

3346

Citations(since 2020)

167

Cited By

3119

hIndex(all)

29

hIndex(since 2020)

6

i10Index(all)

49

i10Index(since 2020)

3

Email

Access Email

University Profile Page

Chalmers tekniska högskola

Google Scholar

View Google Scholar Profile

Carl Seger Skills & Research Interests

Formal verification

HW design

Design productivity

Top articles of Carl Seger

Title

Journal

Author(s)

Publication Date

Bifröst: Creating Hardware With Building Blocks

Jeremy Pope

Carl-Johan H Seger

2023/9/13

Formal Verification of Complex Data Paths: An Industrial Experience

Carl-Johan H Seger

2021/11/10

Cephalopode: A custom processor aimed at functional language execution for IoT devices

Jeremy Pope

Jules Saget

Carl-Johan H Seger

2020/12/2

Stately: An FSM design tool

Jeremy Pope

Jules Saget

Carl-Johan H Seger

2020/12/2

See List of Professors in Carl Seger University(Chalmers tekniska högskola)