• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A small, but important, concurrency problem in Verilog's semantics? (Work in progress).

Andreas Lööw
Published in: MEMOCODE (2022)
Keyphrases
  • database systems
  • neural network
  • small number
  • logic programming
  • data flow
  • conceptual graphs
  • data sets
  • genetic algorithm
  • keywords
  • domain knowledge
  • object oriented
  • fine grained
  • semantic information
  • formal semantics