在verilog HDL中读取文本文件

Question

我无法在verilog中读取包含以下内容的文本文件：

  

b05_test.dut.n509 0

我被fgets指令 import pygame as pg from settingsx import * from random import choice, randrange vec = pg.math.Vector2 class Spritesheet: # utility class for loading and parsing spritesheets def __init__(self, filename): self.spritesheet = pg.image.load(filename).convert() def get_image(self, x, y, width, height): # grab an image out of a larger spritesheet image = pg.Surface((width, height)) image.blit(self.spritesheet, (0, 0), (x, y, width, height)) image = pg.transform.scale(image, (width // 2, height // 2)) return image class Player(pg.sprite.Sprite): def __init__(self, game): self._layer = PLAYER_LAYER self.groups = game.all_sprites pg.sprite.Sprite.__init__(self, self.groups) self.game = game self.walking = False self.jumping = False self.current_frame = 0 self.last_update = 0 self.load_images() self.image = self.standing_frames[0] self.rect = self.image.get_rect() self.rect.center = (40, HEIGHT - 100) self.pos = vec(40, HEIGHT - 100) self.vel = vec(0, 0) self.acc = vec(0, 0) def load_images(self): self.standing_frames = [self.game.spritesheet.get_image(614, 1063, 120, 191), self.game.spritesheet.get_image(690, 406, 120, 201)] for frame in self.standing_frames: frame.set_colorkey(BLACK) self.walk_frames_r = [self.game.spritesheet.get_image(678, 860, 120, 201), self.game.spritesheet.get_image(692, 1458, 120, 207)] self.walk_frames_l = [] for frame in self.walk_frames_r: frame.set_colorkey(BLACK) self.walk_frames_l.append(pg.transform.flip(frame, True, False)) self.jump_frame = self.game.spritesheet.get_image(382, 763, 150, 181) self.jump_frame.set_colorkey(BLACK) def jump_cut(self): if self.jumping: if self.vel.y < -3: self.vel.y = -3 def jump(self): # jump only if standing on a platform self.rect.y += 2 hits = pg.sprite.spritecollide(self, self.game.platforms, False) self.rect.y -= 2 if hits and not self.jumping: self.game.jump_sound.play() self.jumping = True self.vel.y = -PLAYER_JUMP def update(self): self.animate() self.acc = vec(0, PLAYER_GRAV) keys = pg.key.get_pressed() if keys[pg.K_LEFT]: self.acc.x = -PLAYER_ACC if keys[pg.K_RIGHT]: self.acc.x = PLAYER_ACC # apply friction self.acc.x += self.vel.x * PLAYER_FRICTION # equations of motion self.vel += self.acc if abs(self.vel.x) < 0.1: self.vel.x = 0 self.pos += self.vel + 0.5 * self.acc # wrap around the sides of the screen if self.pos.x > WIDTH + self.rect.width / 2: self.pos.x = 0 - self.rect.width / 2 if self.pos.x < 0 - self.rect.width / 2: self.pos.x = WIDTH + self.rect.width / 2 self.rect.midbottom = self.pos def animate(self): now = pg.time.get_ticks() if self.vel.x != 0: self.walking = True else: self.walking = False # show walk animation if self.walking: if now - self.last_update > 180: self.last_update = now self.current_frame = (self.current_frame + 1) % len(self.walk_frames_l) bottom = self.rect.bottom if self.vel.x > 0: self.image = self.walk_frames_r[self.current_frame] else: self.image = self.walk_frames_l[self.current_frame] self.rect = self.image.get_rect() self.rect.bottom = bottom # show idle animation if not self.jumping and not self.walking: if now - self.last_update > 350: self.last_update = now self.current_frame = (self.current_frame + 1) % len(self.standing_frames) bottom = self.rect.bottom self.image = self.standing_frames[self.current_frame] self.rect = self.image.get_rect() self.rect.bottom = bottom self.mask = pg.mask.from_surface(self.image) class Cloud(pg.sprite.Sprite): def __init__(self, game): self._layer = CLOUD_LAYER self.groups = game.all_sprites, game.clouds pg.sprite.Sprite.__init__(self, self.groups) self.game = game self.image = choice(self.game.cloud_images) self.image.set_colorkey(BLACK) self.rect = self.image.get_rect() scale = randrange(50, 101) / 100 self.image = pg.transform.scale(self.image, (int(self.rect.width * scale), int(self.rect.height * scale))) self.rect.x = randrange(WIDTH - self.rect.width) self.rect.y = randrange(-500, -50) def update(self): if self.rect.top > HEIGHT * 2: self.kill() class Platform(pg.sprite.Sprite): def __init__(self, game, x, y): self._layer = PLATFORM_LAYER self.groups = game.all_sprites, game.platforms pg.sprite.Sprite.__init__(self, self.groups) self.game = game images = [self.game.spritesheet.get_image(0, 288, 380, 94), self.game.spritesheet.get_image(213, 1662, 201, 100)] self.image = choice(images) self.image.set_colorkey(BLACK) self.rect = self.image.get_rect() self.rect.x = x self.rect.y = y if randrange(100) < POW_SPAWN_PCT: Pow(self.game, self) class Pow(pg.sprite.Sprite): def __init__(self, game, plat): self._layer = POW_LAYER self.groups = game.all_sprites, game.powerups pg.sprite.Sprite.__init__(self, self.groups) self.game = game self.plat = plat self.type = choice(['boost']) self.image = self.game.spritesheet.get_image(820, 1805, 71, 70) self.image.set_colorkey(BLACK) self.rect = self.image.get_rect() self.rect.centerx = self.plat.rect.centerx self.rect.bottom = self.plat.rect.top - 5 def update(self): self.rect.bottom = self.plat.rect.top - 5 if not self.game.platforms.has(self.plat): self.kill() class Mob(pg.sprite.Sprite): def __init__(self, game): self._layer = MOB_LAYER self.groups = game.all_sprites, game.mobs pg.sprite.Sprite.__init__(self, self.groups) self.game = game self.image_up = self.game.spritesheet.get_image(566, 510, 122, 139) self.image_up.set_colorkey(BLACK) self.image_down = self.game.spritesheet.get_image(568, 1534, 122, 135) self.image_down.set_colorkey(BLACK) self.image = self.image_up self.rect = self.image.get_rect() self.rect.centerx = choice([-100, WIDTH + 100]) self.vx = randrange(1, 4) if self.rect.centerx > WIDTH: self.vx *= -1 self.rect.y = randrange(HEIGHT / 2) self.vy = 0 self.dy = 0.5 def update(self): self.rect.x += self.vx self.vy += self.dy if self.vy > 3 or self.vy < -3: self.dy *= -1 center = self.rect.center if self.dy < 0: self.image = self.image_up else: self.image = self.image_down self.rect = self.image.get_rect() self.mask = pg.mask.from_surface(self.image) self.rect.center = center self.rect.y += self.vy if self.rect.left > WIDTH + 100 or self.rect.right < -100: self.kill() 阻止，因为它不起作用，我尝试使用fsancf而没有任何正面结果。

请帮忙吗？

完整代码：

scan_faults = $fgets(file_faults , string , data);

Answer 1

从IEEE Std 1800-2012§21.3.4.2一次读一行：

  

可以使用 $fgets 从文件中读取一行。例如：
 

integer code;
code = $fgets ( str, fd );

  将fd指定的文件中的字符读入变量str，直到填充str，或者读取换行符并将其转移到str或EOF遇到条件。如果str的长度不是整数字节，则不使用最重要的部分字节来确定大小。
  如果从文件读取错误，则code设置为零。否则，在code中返回读取的字符数。应用程序可以调用$ferror来确定最近错误的原因（参见21.3.7）。

因此，您的代码需要看起来像这样：

integer file_faults;
integer scan_faults;
reg [7:0] data; // needs to be an "integral number of bytes in length"

initial begin
  file_faults = $fopen("faults.txt", "r");
  if (file_faults == 0) begin
    $display("data_file handle was NULL");
    $finish;
  end
  while (!$feof(file_faults)) begin
    scan_faults = $fgets(data, file_faults); // arg order was wrong in original
    $display("scan_faults: %0d  data: %s", scan_faults, data);
  end
  $fclose(file_faults); // Close file before finish
  $finish;
end

如果你想要从一个特定格式的变量中输出变量，那么请查看$fscanf。请参阅IEEE Std 1800-2012§21.3.4.3阅读格式化数据