Get started
Author

Bachir Berkane

Observed names: B. Berkane, Berkane, Bachir
ORCID: 0009-0007-3161-1516
Observed ORCID: 0009-0007-3161-1516
OpenAlex ID: A5077844526
Application of AMD Versal™ Adaptive SoC to Radar Space Time Adaptive Processing in Space
2023 · Jason Timpe, Ken O’Neill, et al. · European Data Handling & Data Processing Conference (EDHPC) · 8
Hierarchical Annotated Action Diagrams
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks · 7
A unified framework for describing and verifying hardware synchronous sequential systems
1993 · Ghislaine Thuau, Bachir Berkane · Formal Methods in System Design · 5
Using the Language Lustre for Sequential Circuit Verification
1992 · Ghislaine Thuau, B. Berkane · 3
Consistency, Causality and Compatibility
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks · 2
Interface Verification using CLP
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks · 2
Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar
1992 · Berkane, Bachir · HAL · 2
A High-Throughput Implementation of the MUSIC Algorithm Using AMD Versal AI Engine
2025 · Peifang Zhou, Bachir Berkane, et al. · IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM) · 1
Digital Transformation Journey: Assessing Higher Education Experience in Algeria
2026 · Bachir Berkane · أطراس
PDF
Timing diagrams: semantics and passage towards an intermediate model
2002 · B. Berkane, S. Gandrabur, et al. · Conference proceedings - Canadian Conference on Electrical and Computer Engineering
Formal Characterization of HAAD
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks
HAAD VHDL Model
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks
Summary and Recent Developments
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks
Introduction
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks
Example: Interfacing ARM7 and a Static RAM
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks
Overview of HAAD Method
1998 · E. Cerny, B. Berkane, et al. · Springer eBooks
Algebra of Communicating Timing Charts for Describing and Verifying Hardware Interfaces
1997 · Bachir Berkane, Simona Gandrabur, et al. · Springer eBooks
PDF
Works count: 17
Citation count: 30
H-index: 3
I10-index:
Year
Topic
Type